Efficient execution in an automated reasoning environment (2006)

by David A. Greve , Matt Kaufmann , Panagiotis Manolios , J Strother Moore S , Rob Sumners , Daron Vroon , Matthew Wilding
Venue:Journal of Functional Programming
Citations:8 - 4 self

Active Bibliography

5 Ordinal arithmetic: Algorithms and mechanization – Panagiotis Manolios, Daron Vroon - 2006
543 Model Theory – Wilfrid Hodges - 2000
826 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984
815 The Temporal Logic of Actions – Leslie Lamport - 1993
542 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
11 Algorithms for ordinal arithmetic – Panagiotis Manolios, Daron Vroon - 2003
9 Ordinal arithmetic in ACL2 – Panagiotis Manolios, Daron Vroon - 2003
Efficient execution in an automated reasoning – David A. Greve, Matt Kaufmann, J Strother Moore, Sandip Ray, José Luis Ruiz-reina, Rob Sumners, Matthew Wilding
AUTOMATICALLY PROVING THE TERMINATION OF FUNCTIONAL PROGRAMS – Daron Vroon - 2007