Braids via term rewriting.

Jörg Endrullis Jan Willem Klop

Published in: Theor. Comput. Sci. (2019)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
rewrite systems
knuth bendix
cooperative
knowledge base
formal semantics
active learning
first order logic
modal logic