Sciweavers

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

45

Voted

CAV
2013
Springer

138views Hardware» more CAV 2013»

First-Order Theorem Proving and Vampire

11 years 11 months ago

First-Order Theorem Proving and Vampire

Download vprover.org

Laura Kovács, Andrei Voronkov

Real-time Traffic

CAV 2013 | Hardware |

claim paper

Related Content

» Interpolation for First Order S5

» Clausal ConnectionBased Theorem Proving in Intuitionistic FirstOrder Logic

» Comparing Unification Algorithms in FirstOrder Theorem Proving

» Testing FirstOrder Logic Axioms in Program Verification

» Test Data Generation for Programs with Quantified FirstOrder Logic Specifications

» First order properties on nowhere dense structures

» Automated Reasoning Past Story and New Trends

» First Order Reasoning on a Large Ontology

» FirstOrder Logic Formalisation of Arrows Theorem

» Encoding First Order Proofs in SAT

Post Info
More Details (n/a)

Added	27 Apr 2014
Updated	27 Apr 2014
Type	Journal
Year	2013
Where	CAV
Authors	Laura Kovács, Andrei Voronkov

Comments (0)