26 search results - page 6 / 6 » acl2 2006 |
149
Voted
ENTCS
2006
15 years 3 months ago
2006
To broaden the scope of decision procedures for linear arithmetic, they have to be integrated into theorem provers. Successful approaches e.g. in NQTHM or ACL2 suggest a close int...