A Haskell Library for Term Rewriting.

Bertram Felgenhauer Martin Avanzini Christian Sternagel

Published in: CoRR (2013)

Keyphrases

term rewriting
theorem proving
theorem prover
operational semantics
programming language
rewrite systems
knuth bendix
functional programming
plagiarism detection
database
semi supervised
inference rules
formal semantics