Termination of Curryfied Rewrite Systems.

Bjørn Kristoffersen

Published in: COMPASS/ADT (1995)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem proving
theorem prover
operational semantics
databases
artificial intelligence
autonomous agents
integrity constraints
object oriented databases