![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
IWIL@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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.