A Simplified Proof of the Church-Rosser Theorem.

Yuichi Komori Naosuke Matsuda Fumika Yamakawa

Published in: Stud Logica (2014)

Keyphrases

interactive theorem proving
linear logic
computer vision
decision trees
theorem prover
theorem proving
von neumann
intuitionistic logic
database
databases
genetic algorithm
image sequences
expert systems
geometry theorem proving