default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID4th PAAR 2014: Vienna, Austria
- Stephan Schulz, Leonardo de Moura, Boris Konev:
4th Workshop on Practical Aspects of Automated Reasoning, PAAR@IJCAR 2014, Vienna, Austria, 2014. EPiC Series in Computing 31, EasyChair 2015 - Uwe Waldmann:
Hierarchic Superposition Revisited. 1 - Negin Arhami, Geoff Sutcliffe:
The Efficiency of Automated Theorem Proving by Translation to Less Expressive Logics. 2-11 - Joshua Bax:
A Model Guided Instantiation Heuristic for the Superposition Calculus with Theories. 12-24 - Maria Paola Bonacina
, David A. Plaisted:
SGGS Theorem Proving: an Exposition. 25-38 - Simon Cruanes:
Logtk: A Logic ToolKit for Automated Reasoning and its Implementation. 39-49 - Thibault Gauthier, Cezary Kaliszyk, Chantal Keller, Michael Norrish:
Beagle as a HOL4 external ATP method. 50-59 - Cezary Kaliszyk, Josef Urban, Jirí Vyskocil:
Machine Learner for Automated Reasoning 0.4 and 0.5. 60-66 - Muhammad Nassar, Geoff Sutcliffe:
Automated Theorem Proving using the TPTP Process Instruction Language. 67-75 - Salman Saghafi, Daniel J. Dougherty:
Razor: Provenance and Exploration in Model-Finding. 76-93 - Sophie Tourret, Mnacho Echenim, Nicolas Peltier:
A Deductive-Complete Constrained Superposition Calculus for Ground Flat Equational Clauses. 94-104 - Daniel Wand:
Polymorphic+Typeclass Superposition. 105-119
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-25 00:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
