Modularity of Confluence: A Simplified Proof.

Jan Willem Klop Aart Middeldorp Yoshihito Toyama Roel C. de Vrijer

Published in: Inf. Process. Lett. (1994)

Keyphrases

theorem proving
theorem prover
databases
artificial neural networks
database
three dimensional
data structure
multi agent systems
community detection
logical rules
rewrite systems