Ordinal arithmetic: Algorithms and mechanization (2006)

Cached

Download Links

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

Documents Related by Co-Citation

7 Integrating reasoning about ordinal arithmetic into ACL2 – Panagiotis Manolios, Daron Vroon - 2004
266 Computer-Aided Reasoning: An Approach – Matt Kaufmann, Panagiotis Manolis, J Strother Moore - 2000
178 The Size-Change Principle for Program Termination – Chin Soon Lee, Neil D. Jones, Amir M. Ben-amram - 2001
1198 On computable numbers, with an application to the Entscheidungsproblem – A Turing - 1937
536 A Computational Logic – Robert S Boyer, J Strother Moore - 1979
389 Automatically validating temporal safety properties of interfaces – Thomas Ball, Sriram K. Rajamani - 2001
116 A complete method for the synthesis of linear ranking functions – A Podelski, A Rybalchenko - 2004
65 Proving Program Invariance and Termination by Parametric Abstraction, Lagrangian Relaxation and Semidefinite Programming – Patrick Cousot - 2005
59 SSA is Functional Programming – Andrew W. Appel - 1998