Author:
Dawar Anuj,Kopczynski Eryk,Holm Bjarki,Grädel Erich,Pakusa Wied
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Logic for P: Are we Nearly There Yet?;ACM SIGLOG News;2024-04
2. Separating Rank Logic from Polynomial Time;Journal of the ACM;2023-03-25
3. Limitations of the invertible-map equivalences;Journal of Logic and Computation;2022-09-06
4. Limitations of the invertible-map equivalences;J LOGIC COMPUT;2022
5. Separating Rank Logic from Polynomial Time;2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2021-06-29