Reference : De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
Scientific journals : Article
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/41612
De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
English
Horne, Ross James mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
Tiu, Alwen [> >]
Aman, Bogdan [> >]
Ciobanu, Gabriel [> >]
2019
ACM Transactions on Computational Logic
ACM
20
4
22:1--22:44
Yes (verified by ORBilu)
1529-3785
http://hdl.handle.net/10993/41612
10.1145/3325821

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
tocl.pdfAuthor postprint970.12 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.