Time Bounded Rewrite Systems and Termination Proofs by Generalized Embedding.

Dieter Hofbauer

Published in: RTA (1991)

Keyphrases

rewrite systems
term rewriting
theorem proving
theorem prover
quantifier free
knuth bendix
active rules
first order logic
operational semantics
databases
artificial intelligence
database systems
knowledge representation
modal logic