De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic

Reference : De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Security, Reliability and Trust
	To cite this reference:	http://hdl.handle.net/10993/41612

Title :	De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
Language :	English
Author, co-author :	Horne, Ross James [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)]
	Tiu, Alwen [> >]
	Aman, Bogdan [> >]
	Ciobanu, Gabriel [> >]
Publication date :	2019
Journal title :	ACM Transactions on Computational Logic
Publisher :	ACM
Volume :	20
Issue/season :	4
Pages :	22:1--22:44
Peer reviewed :	Yes (verified by ORBi^lu)
ISSN :	1529-3785
Permalink :	http://hdl.handle.net/10993/41612
DOI :	10.1145/3325821

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	tocl.pdf		Author postprint	970.12 kB	View/Open

All documents in ORBi^lu are protected by a user license.