Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDIWIL@LPAR 2017: Maun, Botswana
- Thomas Eiter, David Sands, Geoff Sutcliffe, Andrei Voronkov:
IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing 1, EasyChair 2017
LPAR-21 Short Presentation Papers
- David Toman, Grant E. Weddell:
An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report). 1-10 - Christoph Benzmüller, Alexander Steen, Max Wisniewski:
Leo-III Version 1.1 (System description). 11-26 - Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato:
Reasoning with Concept Diagrams about Antipatterns. 27-42 - Abhishek Kr Singh
:
Formalization of some central theorems in combinatorics of finite sets. 43-57 - Nikolaj S. Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf:
Abduction by Non-Experts. 58-72 - Krzysztof R. Apt, Dominik Wojtczak:
Decidability of Fair Termination of Gossip Protocols. 73-85 - Olli Saarikivi, Margus Veanes:
Translating C# to Branching Symbolic Transducers. 86-99
IWIL 2017 Papers
- Alexander Steen, Max Wisniewski, Christoph Benzmüller:
Going Polymorphic - TH1 Reasoning for Leo-III. 100-112 - Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller:
Capability Discovery for Automated Reasoning Systems. 113-118 - Julio César López-Hernández, Konstantin Korovin:
Towards an Abstraction-Refinement Framework for Reasoning with Large Theories. 119-123 - Giles Reger, Martin Suda:
Set of Support for Theory Reasoning. 124-134
a service of 
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 2023-09-25 21:35 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:
