Paper published in a book (Scientific congresses, symposiums and conference proceedings)
TPTP and Beyond: Representation of Quantified Non-Classical Logics
Wisniewski, Max; Steen, Alexander; Benzmüller, Christoph
2016In Benzmüller, Christoph; Otten, Jens (Eds.) ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics
Peer reviewed
 

Files


Full Text
ARQNL2016_paper4.pdf
Publisher postprint (429.1 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Higher Order Logic; Higher Order Modal Logic
Disciplines :
Computer science
Author, co-author :
Wisniewski, Max;  Freie Universität Berlin
Steen, Alexander ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Benzmüller, Christoph ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
TPTP and Beyond: Representation of Quantified Non-Classical Logics
Publication date :
December 2016
Event name :
2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016)
Event place :
Coimbra, Portugal
Event date :
July 1, 2016
Audience :
International
Main work title :
ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics
Editor :
Publisher :
CEUR-WS.org
Collection name :
CEUR Workshop Proceedings, Volume 1770
Pages :
51-65
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 04 November 2019

Statistics


Number of views
47 (0 by Unilu)
Number of downloads
30 (0 by Unilu)

Scopus citations®
 
7
Scopus citations®
without self-citations
3

Bibliography


Similar publications



Contact ORBilu