On transitive closure logic
- 19 November 2005
- book chapter
- Published by Springer Nature
- p. 149-163
- https://doi.org/10.1007/bfb0023764
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- GraphLogPublished by Association for Computing Machinery (ACM) ,1990
- Expressiveness of restricted recursive queriesPublished by Association for Computing Machinery (ACM) ,1989
- An optimal lower bound on the number of variables for graph identificationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1989
- Skolem normal forms concerning the least fixpointPublished by Springer Nature ,1987
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Structure and complexity of relational queriesJournal of Computer and System Sciences, 1982
- Upper and lower bounds for first order expressibilityJournal of Computer and System Sciences, 1982
- On Moschovakis closure ordinalsThe Journal of Symbolic Logic, 1977
- Monadic generalized spectraMathematical Logic Quarterly, 1975
- An application of games to the completeness problem for formalized theoriesFundamenta Mathematicae, 1960