Vol-2095
urn:nbn:de:0074-2095-6




ARQNL 2018
Automated Reasoning in Quantified Non-Classical Logics


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.


Edited by

Christoph Benzm├╝ller *
Jens Otten **

* University of Luxembourg (and Freie Universität Berlin, Germany)
** Institutt for informatikk, University of Oslo, Norway





Table of Contents

Invited Contributions

Regular Contributions

Additional Material


2018-06-25: submitted by Christoph Benzm├╝ller and Jens Otten, metadata incl. bibliographic data published under Creative Commons CC0
2018-06-25: published on CEUR-WS.org |valid HTML5|