Term Rewriting Theory for the Primitive Recursive Functions.

E. A. Cichon Andreas Weiermann

Published in: Ann. Pure Appl. Log. (1997)

Keyphrases

term rewriting
recursive functions
inductive inference
theorem proving
theorem prover
knuth bendix
databases
rewrite systems
database
decision trees
operational semantics