Reference : Private Names in Non-Commutative Logic
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
Security, Reliability and Trust
http://hdl.handle.net/10993/37431
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 [> >]
2016
27th International Conference on Concurrency Theory (CONCUR 2016)
Leibniz International Proceedings in Informatics
Yes
27th International Conference on Concurrency Theory (CONCUR 2016)
23-26 August 2016
http://hdl.handle.net/10993/37431
10.4230/LIPIcs.CONCUR.2016.31
31:1-31:16

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
p31-Horne.pdfPublisher postprint231.84 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.