Login / Signup
The Church-Rosser property in computer algebra and special theorem proving: an investigation of critical-pair/completion algorithms (Ph.D. thesis).
Franz Winkler
Published in:
SIGSAM Bull. (1984)
Keyphrases
</>
theorem proving
theorem prover
computer algebra
inference rules
automated reasoning
term rewriting
first order logic
machine learning
bayesian networks
distributed search
logical inference
proof search
consequence finding
geometry theorem proving