Finite-model theory - a personal perspective
- 2 August 1993
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 116 (1) , 3-31
- https://doi.org/10.1016/0304-3975(93)90218-i
Abstract
No abstract availableKeywords
This publication has 49 references indexed in Scilit:
- Reachability is harder for directed than for undirected finite graphsThe Journal of Symbolic Logic, 1990
- Datalog vs. first-order logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- An optimal lower bound on the number of variables for graph identificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Monotone versus positiveJournal of the ACM, 1987
- A logical approach to asymptotic combinatorics I. First order propertiesAdvances in Mathematics, 1987
- A zero-one law for logic with a fixed-point operatorInformation and Control, 1985
- ∑11-Formulae on finite structuresAnnals of Pure and Applied Logic, 1983
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- Relativizing Time, Space, and Time-SpaceSIAM Journal on Computing, 1982
- Das Repräsentantenproblem im Prädikatenkalkül der ersten Stufe mit IdentitätMathematical Logic Quarterly, 1955