CADE   2003 Automated Deduction
Wall of Fame | Most Viewed CADE-2003 Paper
11 years 12 months ago
Algorithms for Ordinal Arithmetic
Ordinals form the basis for termination proofs in ACL2. Currently, ACL2 uses a rather inefficient representation for the ordinals up to 0 and provides limited support for reasoning...
Panagiotis Manolios, Daron Vroon
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source188
2Download preprint from source174
3Download preprint from source172
4Download preprint from source166
5Download preprint from source163
6Download preprint from source158
7Download preprint from source152
8Download preprint from source140
9Download preprint from source139
10Download preprint from source139
11Download preprint from source134
12Download preprint from source132
13Download preprint from source124
14Download preprint from source123
15Download preprint from source119
16Download preprint from source112
17Download preprint from source112
18Download preprint from source112
19Download preprint from source110
20Download preprint from source97
21Download preprint from source97