Search for persons
X
?
Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science ,
3
Weak Simplicial Bisimilarity for Polyhedral Models and SLCS..:
, In:
?
Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic ,
5
Minimisation in Logical Form:
, In:
?
Outstanding Contributions to Logic; Kit Fine on Truthmakers, Relevance, and Non-classical Logic ,
9
Modern Faces of Filtration:
, In:
?
Lecture Notes in Computer Science; Language, Logic, and Computation ,
10
Topological Evidence Logics: Multi-agent Setting:
, In:
?
Outstanding Contributions to Logic; V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics ,
14