54 search results - page 7 / 11 » ACL2 |
TPHOL
2005
IEEE
15 years 5 months ago
2005
IEEE
TPHOL
2005
IEEE
15 years 5 months ago
2005
IEEE
AISC
2000
Springer
15 years 4 months ago
2000
Springer
89
Voted
ACL2
2006
ACM
15 years 5 months ago
2006
ACM
101
click to vote
CADE
2003
Springer
15 years 12 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...