10 citations · 15 across the 6 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021
Limitations of the Invertible-Map Equivalences
Anuj Dawar, Erich Grädel, Moritz Lichter
This note draws conclusions that arise by combining two recent papers, by Anuj Dawar, Erich Grädel, and Wied Pakusa, published at ICALP 2019 and by Moritz Lichter, published at LIC…
cs.LO2021★ 10 cited
Separating Rank Logic from Polynomial Time
Moritz Lichter
In the search for a logic capturing polynomial time the most promising candidates are Choiceless Polynomial Time (CPT) and rank logic. Rank logic extends fixed-point logic with cou…