<--- Back to Details
First PageDocument Content
Shapeshifting / Vampire / Vampires / The Vampire Chronicles / Revenant / Strigoi / Vampire folklore by region / Vampire literature / Undead / Death / Fiction
Date: 2013-01-04 10:04:03
Shapeshifting
Vampire
Vampires
The Vampire Chronicles
Revenant
Strigoi
Vampire folklore by region
Vampire literature
Undead
Death
Fiction

Version[removed]

Add to Reading List

Source URL: halshs.archives-ouvertes.fr

Download Document from Source Website

File Size: 227,46 KB

Share Document on Facebook

Similar Documents

Software engineering / Mathematical logic / Theoretical computer science / Formal methods / Logic in computer science / Model theory / Computability theory / Procedural programming languages / First-order logic / Automated theorem proving / ALGOL 68 / Let expression

The Vampire and the FOOL Evgenii Kotelnikov Laura Kov´acs Giles Reger

DocID: 1xVTD - View Document

Theoretical computer science / Logic in computer science / Automated theorem proving / Formal methods / Constraint programming / Logic programming / Resolution / Unification / Satisfiability modulo theories / Andrei Voronkov

Instantiation for Theory Reasoning in Vampire Giles Reger Theory Reasoning in saturation provers φ

DocID: 1xVzg - View Document

Logic / Mathematical logic / Theoretical computer science / Automated theorem proving / Logic in computer science / Formal methods / Logic programming / Propositional calculus / Resolution / Unification / Satisfiability modulo theories / Literal

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener University of Manchester, Manchester, UK

DocID: 1xV20 - View Document

Theoretical computer science / Mathematical logic / Logic / Automated theorem proving / Logic in computer science / Formal methods / Logic programming / Predicate logic / Satisfiability modulo theories / Unification / Solver / Resolution

Instantiation and Pretending to be an SMT Solver with VAMPIRE ∗ Giles Reger1 , Martin Suda2 , and Andrei Voronkov1,3,4 1 3

DocID: 1xUjf - View Document

Mathematical logic / Logic / Mathematics / Axioms of set theory / 1Q / Axiom

Instantiation for Theory Reasoning in Vampire Giles Reger Martin Riener

DocID: 1xTXS - View Document