Ordinal arithmetic: Algorithms and mechanization (2006)

Cached

Download Links

by Panagiotis Manolios , Daron Vroon
Venue:Journal of Automated Reasoning
Citations:5 - 3 self

Active Bibliography

11 Algorithms for ordinal arithmetic – Panagiotis Manolios, Daron Vroon - 2003
9 Ordinal arithmetic in ACL2 – Panagiotis Manolios, Daron Vroon - 2003
AUTOMATICALLY PROVING THE TERMINATION OF FUNCTIONAL PROGRAMS – Daron Vroon - 2007
8 Efficient execution in an automated reasoning environment – David A. Greve, Matt Kaufmann, Panagiotis Manolios, J Strother Moore S, Rob Sumners, Daron Vroon, Matthew Wilding - 2006
69 Formal Methods and the Certification of Critical Systems – John Rushby - 1993
18 Non-Standard Analysis in ACL2 – Ruben A. Gamboa, Matt Kaufmann - 2001
2 A language for mathematical knowledge management – Steven Kieffer, Jeremy Avigad, Harvey Friedman
1 Using Theorem Proving and Algorithmic Decision Procedures for Large-Scale System Verification – Sandip Ray, J Strother Moore, E. Allen Emerson, Mohammed G. Gouda, Warren A. Hunt, C. Greg Plaxton, John R. Matthews, Ip Ray - 2005
1 Verified Calculations – K. Rustan, M. Leino, Nadia Polikarpova - 2013
31 Partial Functions in ACL2 – Panagiotis Manolios, J Strother Moore
13 Certifying Compositional Model Checking Algorithms in ACL2 – Sandip Ray, John Matthews, Mark Tuttle
14 Certified size-change termination – Alexander Krauss - 2007
10 Knowledge Representation and Classical Logic – Vladimir Lifschitz, Leora Morgenstern
Chapter 1 Knowledge Representation and Classical Logic – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Vladimir Lifschitz, Leora Morgenstern, David Plaisted
2 THE VEBLEN FUNCTIONS FOR COMPUTABILITY THEORISTS – Alberto Marcone, Antonio Montalb├ín - 2010
4 The reflection theorem: A study in meta-theoretic reasoning – Lawrence C. Paulson - 2002
15 Mechanically Verifying Real-Valued Algorithms in ACL2 – Ruben Antonio Gamboa - 1999
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
12 STMM: A Set Theory for Mechanized Mathematics – William M. Farmer - 2000