?
Samson Abramsky on Logic and Structure in Computer Science and Beyond; Outstanding Contributions to Logic ,
6
Constraint Satisfaction, Graph Isomorphism, and the Pebblin..:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
8
Separating LREC from LFP:
, In:
?
Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science ,
12
Lovász-type theorems and game comonads:
, In:
?
Fields of Logic and Computation III; Lecture Notes in Computer Science ,
14
Relativization of Gurevich's Conjectures:
, In:
?
Fields of Logic and Computation III; Lecture Notes in Computer Science ,
15