54 search results - page 7 / 11 » ACL2 |
62
Voted
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
78
Voted
TPHOL
2005
IEEE
15 years 7 months ago
2005
IEEE
88
Voted
AISC
2000
Springer
15 years 6 months ago
2000
Springer
104
Voted
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
125
Voted
CADE
2003
Springer
16 years 2 months ago
2003
Springer
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...