Reference : Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/42695
Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic
English
Wisniewski, Max []
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Dec-2015
ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
Benzmüller, Christpoh
Otten, Jens
EasyChair
EPiC Series in Computing, Vol. 33
59-64
Yes
No
International
Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014)
23-07-2014
Vienna
Austria
[en] Higher-Order Logic ; Hybrid Logic ; Automated Reasoning
Researchers
http://hdl.handle.net/10993/42695
10.29007/dzc2
https://easychair.org/publications/paper/Cww

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
Embedding_of_Quantified_Higher-Order_Nominal_Modal_Logic_into_Classical_Higher-Order_Logic.pdfPublisher postprint343.13 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.