Author:
Blass Andreas,Gurevich Yuri,Shelah Saharon
Cited by
64 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. The umbilical cord of finite model theory;Journal of Logic and Computation;2023-09-01
2. Simulating Logspace-Recursion with Logarithmic Quantifier Depth;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. Separating Rank Logic from Polynomial Time;Journal of the ACM;2023-03-25
4. Choiceless Polynomial Time with Witnessed Symmetric Choice;Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science;2022-08-02
5. Symmetric Circuits for Rank Logic;ACM Transactions on Computational Logic;2022-01-31