Login / Signup
A New Proof that the Chase is a Church-Rosser Replacement System.
Marc H. Graham
Published in:
XP1 Workshop on Database Theory (1980)
Keyphrases
</>
query answering
data dependencies
data exchange
expert systems
proof planning
databases
artificial intelligence
computer vision
e learning
decision trees
conjunctive queries
theorem proving
linear logic
proof search
geometry theorem proving