Search for persons
X
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
1
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS..:
, In:
?
Outstanding Contributions to Logic; Kit Fine on Truthmakers, Relevance, and Non-classical Logic ,
6
Modern Faces of Filtration:
, In:
?
Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic ,
9
Minimisation in Logical Form:
, In:
?
Lecture Notes in Computer Science; Language, Logic, and Computation ,
15