Login / Signup
A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles.
Robert W. McGrail
Thuy Trang Nguyen
Thanh Thuy Trang Tran
Atri Tripathi
Published in:
SYNASC (2018)
Keyphrases
</>
term rewriting
theorem proving
theorem prover
knuth bendix
operational semantics
rewrite systems
theoretical framework
equational theories
neural network
machine learning
first order logic
theoretical basis
source code
inference rules