Algorithms for ordinal arithmetic (2003)

Cached

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

261 S.: Computer-Aided Reasoning: An Approach – M Kaufmann, P Manolios, J Moore - 2000
7 Integrating reasoning about ordinal arithmetic into ACL2 – Panagiotis Manolios, Daron Vroon - 2004
18 Proving theorems about Java and the JVM with ACL2 – J Strother Moore - 2003
533 A Computational Logic – R BOYER, J MOORE - 1979
47 Contributions to the founding of the theory of transfinite numbers – G Cantor - 1915
25 Inductive assertions and operational semantics – J Strother Moore - 2003
31 Partial Functions in ACL2 – Panagiotis Manolios, J Strother Moore
48 Structured Theory Development for a Mechanized Logic – Matt Kaufmann, J Strother Moore - 1999
20 Executable JVM Model for Analytical Reasoning: A Study – Hanbing Liu, J Strother Moore - 2003
9 Multiset Relations: a Tool for Proving Termination – J. -l. Ruiz-reina, J. -a. Alonso, M.-J. Hidalgo, F.-J. Martín - 2000
6 Proving theorems about pure lisp functions – R S Boyer, J S Moore - 1975
4 Proof of Dixon’s lemma using the ACL2 theorem prover via an explicit ordinal mapping – M Sustik - 2003
9 Ordinal arithmetic in ACL2 – Panagiotis Manolios, Daron Vroon - 2003
944 Term Rewriting and All That – Franz Baader, Tobias Nipkow - 1998
24 Formal definitions in the theory of ordinal numbers – A S Church - 1936
75 1895): “Beiträge zur Begründung der transifiniten Mengelehre – G Cantor
98 Proof Theory – K Schütte - 1977
49 Die Widerspruchsfreiheit der reinen Zahlentheorie – Gerhard Gentzen - 1936
27 The Joy of Sets: Fundamentals of Contemporary Set Theory – K Devlin - 1993