Login / Signup
Using SOS Definitions in Term Rewriting Proofs.
Karl-Heinz Buth
Published in:
Larch (1992)
Keyphrases
</>
term rewriting
theorem prover
theorem proving
first order logic
formal proof
inference rules
rewrite systems
knuth bendix
equational theories
operational semantics
natural deduction
mathematical proofs
life cycle
graphical models
multi agent
machine learning
database