Complete integer decision procedures as derived rules in HOL (2003)

Cached

Download Links

by Michael Norrish
Venue:Theorem Proving in Higher Order Logics, TPHOLs 2003, volume 2758 of Lect. Notes in Comp. Sci
Citations:9 - 0 self