(Head-) Normalization of Typeable Rewrite Systems.

Steffen van Bakel Maribel Fernández

Published in: RTA (1995)

Keyphrases

rewrite systems
term rewriting
quantifier free
knuth bendix
active rules
theorem proving
theorem prover
artificial intelligence
relational databases
fine grained