The Andrews-Curtis Conjecture, Term Rewriting and First-Order Proofs.

Published in: ICMS (2018)

Keyphrases

term rewriting
theorem prover
theorem proving
first order logic
rewrite systems
decision procedures
inference rules
natural deduction
knuth bendix
mathematical proofs
mobile robot
probabilistic model
operational semantics