Datatype defining rewrite systems for naturals and integers.

Jan A. Bergstra Alban Ponse

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
theorem prover
theorem proving
database
databases
integrity constraints
real numbers