54 search results - page 7 / 11 » ACL2 |
77
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
91
Voted
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
105
Voted
AISC
2000
Springer
15 years 8 months ago
2000
Springer
121
Voted
ACL2
2006
ACM
15 years 9 months ago
2006
ACM
141
click to vote
CADE
2003
Springer
16 years 3 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...