Inductive definitions over finite structures
- 1 December 1990
- journal article
- Published by Elsevier in Information and Computation
- Vol. 89 (2) , 95-108
- https://doi.org/10.1016/0890-5401(90)90006-4
Abstract
No abstract availableThis publication has 5 references indexed in Scilit:
- Monotone versus positiveJournal of the ACM, 1987
- Fixed-point extensions of first-order logicAnnals of Pure and Applied Logic, 1986
- Relational queries computable in polynomial timeInformation and Control, 1986
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- Abstract first order computability. IITransactions of the American Mathematical Society, 1969