Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Game Comonads & Generalised Quantifiers;Logical Methods in Computer Science;2024-07-23
2. Where First-Order and Monadic Second-Order Logic Coincide;ACM Transactions on Computational Logic;2016-11-15
3. Where First-Order and Monadic Second-Order Logic Coincide;2012 27th Annual IEEE Symposium on Logic in Computer Science;2012-06
4. On the Ordered Conjecture;2012 27th Annual IEEE Symposium on Logic in Computer Science;2012-06
5. Inflationary fixed points in modal logic;ACM Transactions on Computational Logic;2004-04