Search for persons
X
?
Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science ,
7
Model Checking on Interpretations of Classes of Bounded Loc..:
, In:
?
Proceedings of the 54th Annual ACM SIGACT Symposium on Theory of Computing ,
10
Twin-width IV: ordered graphs and matrices:
, In:
?
Proceedings of the Thirty-Second Annual ACM-SIAM Symposium on Discrete Algorithms ,
13