Login / Signup
A proof of Moessner's theorem by coinduction.
Milad Niqui
Jan J. M. M. Rutten
Published in:
High. Order Symb. Comput. (2011)
Keyphrases
</>
interactive theorem proving
theorem proving
linear logic
data sets
machine learning
database
information systems
three dimensional
hidden markov models
medical images
theorem prover
automated theorem proving
proof search
proof planning
intuitionistic logic
mathematical proofs