Three Datatype Defining Rewrite Systems for Datatypes of Integers each extending a Datatype of Naturals.

Jan A. Bergstra Alban Ponse

Published in: CoRR (2014)

Keyphrases

data types
rewrite systems
term rewriting
data structure
knuth bendix
database systems
database management systems
data model
quantifier free
database
machine learning
knowledge base
knowledge representation
theorem proving