First order logic, fixed point logic and linear order
Authors:
- 1 January 1996
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 161-177
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- The Expressive Power of Finitely Many Generalized QuantifiersInformation and Computation, 1995
- Infinitary Logic and Inductive Definability over Finite StructuresInformation and Computation, 1995
- Computing with First-Order LogicJournal of Computer and System Sciences, 1995
- Infinitary logics and 0–1 lawsInformation and Computation, 1992
- Datalog extensions for database queries and updatesJournal of Computer and System Sciences, 1991
- On uniformity within NC1Journal of Computer and System Sciences, 1990
- Definability with bounded number of bound variablesInformation and Computation, 1989
- Relational queries computable in polynomial timeInformation and Control, 1986
- Toward logic tailored for computational complexity1984
- Upper and lower bounds for first order expressibilityJournal of Computer and System Sciences, 1982