Sciweavers

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

81

Voted

ENTCS
2008

81views more ENTCS 2008»

Encoding First Order Proofs in SMT

15 years 2 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)