Amanote Research
Register
Sign In
On the Equivalence of Recursive and Nonrecursive Datalog Programs
doi 10.1145/137097.137109
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1992
Authors
Surajit Chaudhuri
Moshe Y. Vardi
Publisher
ACM Press
Related search
On the Expected Size of Recursive Datalog Queries
Recursive Equivalence Types and Octahedra
Journal of the Australian Mathematical Society. Series A. Pure Mathematics and Statistics
Complexity of Nonrecursive Logic Programs With Complex Values
On the Equivalence Between Disjunctive and Abductive Logic Programs
A Formalism for Treating Equivalence of Recursive Procedures
RAIRO. Informatique théorique
Bottom-Up Computation of Recursive Programs
Revue française d'automatique informatique recherche opérationnelle. Informatique théorique
Regression Verification: Proving the Equivalence of Similar Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Pac-Learning Recursive Logic Programs: Efficient Algorithms
Journal of Artificial Intelligence Research
Artificial Intelligence
Pac-Learning Recursive Logic Programs: Negative Results
Journal of Artificial Intelligence Research
Artificial Intelligence
