Browsing by Author Tiu, Alwen


Or, select a letter below to browse by last name
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 2 to 4 of 4 < previous 
Issue DateTitleAuthor(s)
2015A labelled sequent calculus for BBI : proof theory and proof searchHóu, Zhé; Goré, Rajeev; Tiu, Alwen
2016Private Names in Non-Commutative LogicHorne, Ross; Tiu, Alwen; Aman, Bogdan; Ciobanu, Gabriel
2016Semantics for Specialising Attack Trees based on Linear LogicHorne, Ross; Mauw, Sjouke; Tiu, Alwen