Proof terms (2004)
by
Tom Ridge
,
Formalised Liveness
,
Hol Light
,
Modularity Theory
,
Sequent Level
BibTeX
@MISC{Ridge04proofterms,
author = {Tom Ridge and Formalised Liveness and Hol Light and Modularity Theory and Sequent Level},
title = {Proof terms},
year = {2004}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
arguments
Citations
| 27 | Gentzen-Type Systems, Resolution and Tableaux - Avron - 1993 |
| 4 | Simple representative instantiations for multicast protocols - Esparza, Maidl - 2003 |
| 4 | A Mechanically Verified, Efficient, Sound and Complete Theorem Prover For First Order Logic. Isabelle Archive of Formal Proofs - Ridge - 2004 |
| 1 | Simplification and proof search - Ridge - 2004 |
