Complete Integer Decision Procedures as Derived Rules in HOL
From MaRDI portal
Publication:3559760
DOI10.1007/10930755_5zbMath1279.68292OpenAlexW1535229241MaRDI QIDQ3559760
Publication date: 7 May 2010
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/10930755_5
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Verifying a signature architecture: a comparative case study ⋮ Proof synthesis and reflection for linear arithmetic ⋮ Linear quantifier elimination ⋮ Laws of mission-based programming
Uses Software
This page was built for publication: Complete Integer Decision Procedures as Derived Rules in HOL
