A new proof of Reichert's theorem.

Sara Ying Zhang Jason Zheng Jiang Malcolm C. Smith

Published in: CDC (2016)

Keyphrases

interactive theorem proving
theorem prover
mathematical proofs
von neumann
linear logic
natural deduction
intuitionistic logic
data sets
artificial intelligence
web services
case study
digital libraries