References of "Aman, Bogdan"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailDe Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic
Horne, Ross James UL; Tiu, Alwen; Aman, Bogdan et al

in ACM Transactions on Computational Logic (2019), 20(4), 221--2244

Detailed reference viewed: 42 (2 UL)
Full Text
Peer Reviewed
See detailPrivate Names in Non-Commutative Logic
Horne, Ross James UL; Tiu, Alwen; Aman, Bogdan et al

in 27th International Conference on Concurrency Theory (CONCUR 2016) (2016)

Detailed reference viewed: 24 (0 UL)