Ivy: A Preprocessor And Proof Checker For First-Order Logic (1999)

Cached

Download Links

by William Mccune , Olga Shumsky
Citations:29 - 10 self

Documents Related by Co-Citation

266 Computer-Aided Reasoning: An Approach – Matt Kaufmann, Panagiotis Manolis, J Strother Moore - 2000
295 OTTER3.0 Reference Manual and Guide – William W. McCune - 1995
482 Interactive Theorem Proving and Program Development – Y, P Casteran - 2004
702 A Framework for Defining Logics – Robert Harper , Furio Honsell, Gordon Plotkin - 1993
494 Simple word problems in universal algebras – D E Knuth, P Bendix - 1970
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
739 L.: Isabelle/HOL: a proof assistant for higher-order logic – T Nipkow, M Wenzel, Paulson - 2002
1311 Symbolic Model Checking – K McMillan - 1993
954 T.: Term rewriting and all that – F Baader, Nipkow - 1998