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
568 Term Rewriting Systems – J. W. Klop - 1992
543 Model Theory – Wilfrid Hodges - 2000
454 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
418 Davenport-Schinzel Sequences and Their Geometric Applications – Pankaj K. Agarwal , Micha Sharir - 1998
244 Structure and Complexity of Relational Queries – Ashok Chandra, David Harel - 1982