Showing 1 - 1 results of 1 for search 'Ahrn, Ki Yung', query time: 0.02s
Refine Results
-
1
A characterisation of open bisimilarity using an intuitionistic modal logic by Ahrn, Ki Yung, Horne, Ross, Tiu, Alwen
Published 2018
Get full text
Journal Article