Certifying Term Rewriting Proofs in ELAN.

Quang Huy Nguyen

Published in: Electron. Notes Theor. Comput. Sci. (2001)

Keyphrases

term rewriting
theorem proving
theorem prover
rewrite systems
inference rules
first order logic
knuth bendix
natural deduction
formal proof
operational semantics
bayesian networks
expert systems
mathematical proofs
online learning
formal semantics