A geometric proof of confluence by decreasing diagrams.

Jan Willem Klop Vincent van Oostrom Roel C. de Vrijer

Published in: J. Log. Comput. (2000)

Keyphrases

geometry theorem proving
high order
databases
theorem proving
geometric structure
linear logic
natural deduction
three dimensional
artificial neural networks
theorem prover
geometric reasoning
rewrite systems
mathematical proofs