Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

3rd ARQNL 2018: Oxford, UK

> Home > Conferences and Workshops > ARQNL

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/cade/2018arqnl
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/2018arqnl
Christoph Benzmüller, Jens Otten:
Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018. CEUR Workshop Proceedings 2095, CEUR-WS.org 2018

Invited Contributions

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/Moss18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Moss18
Lawrence S. Moss:
Implementations of Natural Logics. 1-10
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/Reger18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Reger18
Giles Reger:
Some Thoughts About FOL-Translations in Vampire. 11-25

Regular Contributions

- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/Azizi-Sultan18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Azizi-Sultan18
Ahmad-Saher Azizi-Sultan:
Pseudo-Propositional Logic. 26-33
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/Libal18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/Libal18
Tomer Libal:
A Simple Semi-automated Proof Assistant for First-order Modal Logics. 34-48
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/GalmicheM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/GalmicheM18
Didier Galmiche, Daniel Méry:
Labelled Connection-based Proof Search for Multiplicative Intuitionistic. 49-63
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/OrlandelliC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/OrlandelliC18
Eugenio Orlandelli, Giovanna Corsi:
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms. 64-78
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/SteenB18a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/SteenB18a
Alexander Steen, Christoph Benzmüller:
System Demonstration: The Higher-Order Prover Leo-III. 79-85
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/cade/WesselinkW18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/WesselinkW18
Wieger Wesselink, Tim A. C. Willemse:
Evidence Extraction from Parameterised Boolean Equation Systems. 86-100

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.