Vol-1769⫷ Vol-1770 ⫸Vol-1771
urn:nbn:de:0074-1770-7





ARQNL 2016
Automated Reasoning in Quantified Non-Classical Logics


Proceedings of the 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016)
affiliated with the International Joint Conference on Automated Reasoning ( IJCAR 2016 )

Coimbra, Portugal, July 1, 2016 .


Edited by

Christoph Benzmüller *
Jens Otten **

* Dep. of Mathematics and Computer Science, Freie Universität Berlin , Germany
** Institutt for informatikk, University of Oslo , Norway





Table of Contents

Invited Contributions

Regular Contributions

Additional Material


2016-12-24: submitted by Christoph Benzmüller and Jens Otten, metadata incl. bibliographic data published under Creative Commons CC0
2016-12-24 : published on CEUR-WS.org | valid HTML5 |