ARQNL 2018 Automated Reasoning in Quantified Non-Classical Logics

Download

Complete issue (Scientific journals)

Benzmüller, Christoph; Otten, Jens

2018 • In CEUR Workshop Proceedings, 2095, p. 100

Peer Reviewed verified by ORBi

Permalink
https://hdl.handle.net/10993/37465

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

ARQNL2018_CEUR_Proceedings-2.pdf

Publisher postprint (1.49 MB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Keywords :

Automated Reasoning; Non-Classical Logics; Quantified Logics

Disciplines :

Computer science

Editor :

Benzmüller, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)

Otten, Jens; University of Oslo - UiO

External co-authors :

yes

Language :

English

Title :

ARQNL 2018 Automated Reasoning in Quantified Non-Classical Logics

Publication date :

25 June 2018

Journal title :

CEUR Workshop Proceedings

eISSN :

1613-0073

Publisher :

RWTH Aachen University, Aachen, Germany

Volume :

2095

Pages :

100

Peer reviewed :

Peer Reviewed verified by ORBi

Additional URL :

http://ceur-ws.org/Vol-2095/index.html

Available on ORBilu :

since 24 November 2018

Statistics

Number of views

45 (0 by Unilu)

Number of downloads

208 (1 by Unilu)

More statistics