Search for persons
X
?
Proceedings of the 56th Annual ACM Symposium on Theory of Computing ,
1
Flip-Breakability: A Combinatorial Dichotomy for Monadicall..:
, In:
?
Proceedings of the 55th Annual ACM Symposium on Theory of Computing ,
2
First-Order Model Checking on Structurally Sparse Graph Cla..:
, In:
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
3
Model Checking on Interpretations of Classes of Bounded Loc..:
, In:
?
Entertainment Computing and Serious Games; Lecture Notes in Computer Science ,
4