Publisher
Springer Berlin Heidelberg
Reference102 articles.
1. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison-Wesley, 1995.
2. S. Abiteboul and V. Vianu. Datalog extensions for database queries and updates. Journal of Computer and System Sciences, 43:62–124, 1991.
3. H. Andréka, J. van Benthem, and I. Németi. Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic, 27:217–274, 1998.
4. A. Arnold. The mu-calculus alternation-depth is strict on binary trees. RAIRO Informatique Théorique et Applications, 33:329–339, 1999.
5. A. Arnold and D. Niwiński. Rudiments of μ-Calculus. North-Holland, 2001.
Cited by
29 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Weighted automata and logics meet computational complexity;Information and Computation;2024-12
2. Spectrum of FO Logic with Quantifier Depth 4 is Finite;ACM Transactions on Computational Logic;2024-03-28
3. Data-Aware Declarative Process Mining with SAT;ACM Transactions on Intelligent Systems and Technology;2023-08-10
4. First-order Logic with Connectivity Operators;ACM Transactions on Computational Logic;2023-07-25
5. Execution trace sets for real computation;Theoretical Computer Science;2023-01