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

Documents Related by Co-Citation

285 ComputerAided Reasoning: An Approach – M Kaufmann, P Manolios, J S Moore - 2000
548 A Computational Logic – R S Boyer, J S Moore - 1979
1006 Term Rewriting and All That – F Baader, T Nipkow - 1998
883 Theory of Recursive Functions and Effective Computability – H Rogers - 1967
571 PVS: A Prototype Verification System – S. Owre, J. M. Rushby, N. Shankar - 1992
610 Assigning meaning to programs – R Floyd - 1967
1484 An axiomatic basis for computer programming – C. A. R. Hoare - 1969
409 A Computational Logic Handbook – R S Boyer, J S Moore
795 Isabelle/HOL: A Proof Assistant for Higher-Order Logic, volume 2283 – Tobias Nipkow, Lawrence C Paulson, Markus Wenzel - 2002