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 ![]() | |
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):
| ||||||||||||||
All documents in ORBilu are protected by a user license.