Syntax vs. semantics on finite structures
- 1 January 1997
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Preservation theorems in finite model theoryPublished by Springer Nature ,1995
- Finite Model TheoryPublished by Springer Nature ,1995
- On Finite Model Theory (Extended Abstract)Published by Springer Nature ,1990
- Datalog vs. first-order logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Monotone versus positiveJournal of the ACM, 1987
- Toward logic tailored for computational complexityLecture Notes in Mathematics, 1984
- A counterexample to a conjecture of Scott and SuppesThe Journal of Symbolic Logic, 1959