Ordinal arithmetic in ACL2 (2003)

by Panagiotis Manolios , Daron Vroon
Venue:In ACL2 Workshop 2003
Citations:9 - 6 self

Active Bibliography

5 Ordinal arithmetic: Algorithms and mechanization – Panagiotis Manolios, Daron Vroon - 2006
11 Algorithms for ordinal arithmetic – 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
A Glimpse at Veblen Hierarchies – n.n.
43 What's so special about Kruskal's Theorem AND THE ORDINAL Γ0? A SURVEY OF SOME RESULTS IN PROOF THEORY – Jean H. Gallier - 1991
7 Integrating reasoning about ordinal arithmetic into ACL2 – Panagiotis Manolios, Daron Vroon - 2004
2 THE VEBLEN FUNCTIONS FOR COMPUTABILITY THEORISTS – Alberto Marcone, Antonio Montalbán - 2010
7 Adding a total order to ACL2 – Panagiotis Manolios, Matt Kaufmann - 2002
13 Certifying Compositional Model Checking Algorithms in ACL2 – Sandip Ray, John Matthews, Mark Tuttle
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
2 Historical Projects in Discrete Mathematics and Computer Science – Janet Barnett, Guram Bezhanishvili, Hing Leung, Jerry Lodder, David Pengelley, Desh Ranjan
PREDICATIVITY BEYOND Γ0 – Nik Weaver - 2005
An overview of the ordinal calculator – Paul Budnik
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
Arithmetic and the Incompleteness Theorems – Richard W. Kaye - 2000
2 Integrating CCG analysis into ACL2 – Matt Kaufmann, Panagiotis Manolios, J Strother Moore, Daron Vroon
2 A mechanical analysis of program verification strategies – Sandip Ray - 2008
3 A Symbolic Simulation Approach to Assertional Program Verification – John Matthews, J Strother Moore, Sandip Ray, Daron Vroon - 2005