default search action

combined dblp search
author search
venue search
publication search

ask others

IWIL@LPAR 2017: Maun, Botswana

> Home > Conferences and Workshops > IWIL
> Home > Conferences and Workshops > LPAR

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ easychair.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/lpar/2017iwil
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/2017iwil
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

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/TomanW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/TomanW17
David Toman, Grant E. Weddell:
An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report). 1-10
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/BenzmullerSW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BenzmullerSW17
Christoph Benzmüller, Alexander Steen, Max Wisniewski:
Leo-III Version 1.1 (System description). 11-26
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/ShamsJSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/ShamsJSS17
Zohreh Shams, Mateja Jamnik, Gem Stapleton, Yuri Sato:
Reasoning with Concept Diagrams about Antipatterns. 27-42
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Singh17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Singh17
Abhishek Kr Singh:
Formalization of some central theorems in combinatorics of finite sets. 43-57
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/BjornerJLRS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/BjornerJLRS17
Nikolaj S. Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf:
Abduction by Non-Experts. 58-72
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/AptW17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/AptW17
Krzysztof R. Apt, Dominik Wojtczak:
Decidability of Fair Termination of Gossip Protocols. 73-85
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/SaarikiviV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/SaarikiviV17
Olli Saarikivi, Margus Veanes:
Translating C# to Branching Symbolic Transducers. 86-99

IWIL 2017 Papers

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/SteenWB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/SteenWB17
Alexander Steen, Max Wisniewski, Christoph Benzmüller:
Going Polymorphic - TH1 Reasoning for Leo-III. 100-112
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/SteenWSB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/SteenWSB17
Alexander Steen, Max Wisniewski, Hans-Jörg Schurr, Christoph Benzmüller:
Capability Discovery for Automated Reasoning Systems. 113-118
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/HernandezK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/HernandezK17
Julio César López-Hernández, Konstantin Korovin:
Towards an Abstraction-Refinement Framework for Reasoning with Large Theories. 119-123
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/RegerS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/RegerS17
Giles Reger, Martin Suda:
Set of Support for Theory Reasoning. 124-134

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.