Publisher
Springer Berlin Heidelberg
Reference41 articles.
1. A.V. Aho and J.D. Ullman, "Universality of Data Retrieval Languages", Proc. of 6th ACM Symposium on Principles of Programming Languages, 1979, 110–117.
2. J. Bennet, "On Spectra", Doctoral Dissertation, Princeton University, N.J., 1962.
3. E. Börger, "Spektralproblem and Completeness of Logical Decision Problems", in "Logic and Machines: Decision Problems and Complexity (ed. E. Börger, G. Hasenjaeger, D. Rödding), Springer Lecture Notes in Computer Science, to appear.
4. A.K. Chandra and D. Harel, "Computable Queries for Relational Databases", Journal of Computer and System Sciences 21 (1980), 156–178.
5. A.K. Chandra and D. Harel, "Structure and Complexity of Relational Queries", Journal of Computer and System Sciences 25 (1982), 99–128.
Cited by
112 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. FORBIDDEN INDUCED SUBGRAPHS AND THE ŁOŚ–TARSKI THEOREM;The Journal of Symbolic Logic;2024-01-04
2. The umbilical cord of finite model theory;Journal of Logic and Computation;2023-09-01
3. On-the-Fly Model Checking with Neural MCTS;Lecture Notes in Computer Science;2022
4. ASNP: A Tame Fragment of Existential Second-Order Logic;Lecture Notes in Computer Science;2020
5. Bibliography;Proof Complexity;2019-03-28