Confluence of Layered Rewrite Systems.

Jean-Pierre Jouannaud Jiaxiang Liu Mizuhito Ogawa

Published in: CoRR (2015)

Keyphrases

rewrite systems
term rewriting
quantifier free
active rules
knuth bendix
theorem proving
theorem prover
multi agent systems
information systems
expert systems
integrity constraints
database technology
operational semantics