Back to Results
First PageMeta Content
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
Add to Reading List

Document Date: 2018-07-19 05:32:19

Open Document

File Size: 119,13 KB

Share Result on Facebook
UPDATE