Subject
Applied Mathematics,Computational Theory and Mathematics,Computer Networks and Communications,Theoretical Computer Science
Reference18 articles.
1. On relating time and space to size and depth;Borodin;SIAM J. Comput.,1977
2. Alternation;Chandra,1976
3. An application of games to the completeness problem for formalized theories;Ehrenfeucht;Fund. Math.,1961
4. A Mathematical Introduction to Logic;Enderton,1972
5. Generalized first-order spectra and polynomial-time recognizable sets;Fagin,1974
Cited by
110 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Perspective Games;ACM Transactions on Computational Logic;2024-01-17
2. Game characterizations for the number of quantifiers;Mathematical Structures in Computer Science;2024-01-10
3. The umbilical cord of finite model theory;Journal of Logic and Computation;2023-09-01
4. Near-Optimal Lower Bounds on Quantifier Depth and Weisfeiler–Leman Refinement Steps;Journal of the ACM;2023-07-20
5. Optimal controller synthesis for timed systems;Logical Methods in Computer Science;2023-03-15