Login / Signup
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