Algorithms for ordinal arithmetic (2003)

View PDF

Download Links

by Panagiotis Manolios , Daron Vroon
Venue:In 19th International Conference on Automated Deduction (CADE
Citations:11 - 5 self

Active Bibliography

5 Ordinal arithmetic: Algorithms and mechanization – Panagiotis Manolios, Daron Vroon - 2006
9 Ordinal arithmetic in ACL2 – Panagiotis Manolios, Daron Vroon - 2003
AUTOMATICALLY PROVING THE TERMINATION OF FUNCTIONAL PROGRAMS – Daron Vroon - 2007
578 Term Rewriting Systems – J. W. Klop - 1992
575 Model Theory – Wilfrid Hodges - 2000
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
469 Rewriting – Nachum Dershowitz, David A. Plaisted - 2001
420 Davenport-Schinzel Sequences and Their Geometric Applications – Pankaj K. Agarwal , Micha Sharir - 1998
4 A suite of hard ACL2 theorems arising in refinement-based processor verification – Panagiotis Manolios, Sudarshan K. Srinivasan - 2004