A Human-Oriented Term Rewriting System.

Edward William Ayers William T. Gowers Mateja Jamnik

Published in: KI (2019)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
first order logic
artificial intelligence
email
inference rules