Sciweavers

57
Voted
ENTCS
2008

Encoding First Order Proofs in SMT

14 years 9 months ago
Encoding First Order Proofs in SMT
Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2008
Where ENTCS
Authors Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher Lynch, Ralph Eric McGregor
Comments (0)