Vol-2094⫷ Vol-2095 ⫸Vol-2096
urn:nbn:de:0074-2095-6

Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.




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 |