Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

ENTCS
2008

favoriteEmaildiscussreport

81views more ENTCS 2008»

Encoding First Order Proofs in SMT

13 years 4 months ago

Encoding First Order Proofs in SMT

Download www.lsi.upc.edu

Jeremy Bongio, Cyrus Katrak, Hai Lin, Christopher

Real-time Traffic

ENTCS 2008 |

claim paper

Related Content

» Encoding First Order Proofs in SAT

» Efficiently Simulating HigherOrder Arithmetic by a FirstOrder Theory Modulo

» Satisfiability Modulo the Theory of Costs Foundations and Applications

» Bounded Model Checking of Multithreaded Software using SMT solvers

» SMTbased bounded model checking for multithreaded software in embedded systems

» Embedding Deduction Modulo into a Prover

» Operations on proofs and labels

» Metareasoning for Multiagent Epistemic Logics

» Une approche formelle de la reconfiguration dynamique

Post Info
More Details (n/a)

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)