Sciweavers

TPHOL
2003
IEEE

Complete Integer Decision Procedures as Derived Rules in HOL

13 years 9 months ago
Complete Integer Decision Procedures as Derived Rules in HOL
Michael Norrish
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where TPHOL
Authors Michael Norrish
Comments (0)