Computing with infinitary logic
- 1 September 1995
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 149 (1) , 101-128
- https://doi.org/10.1016/0304-3975(95)00027-t
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- 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
- Relational queries computable in polynomial timeInformation and Control, 1986
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- Computable queries for relational data basesJournal of Computer and System Sciences, 1980
- On Moschovakis closure ordinalsThe Journal of Symbolic Logic, 1977