STOC '25: Proceedings of the 57th Annual ACM Symposium on Theory of Computing

Book title Buchtitel
STOC '25: Proceedings of the 57th Annual ACM Symposium on Theory of Computing
 
ISBN
979-8-4007-1510-5
 
Editor Herausgeber_in
 
Publisher Verlag
Association for Computing Machinery
 
Place of publishing Erscheinungsort
New York
 

Publications Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Dreier, Jan ; Toruńczyk, Szymon Merge-Width and First-Order Model CheckingInproceedings Konferenzbeitrag 15-Jun-2025