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

Book title Buchtitel

ISBN

979-8-4007-1510-5

Editor Herausgeber_in

Koucký, Michal
Bansal, Nikhil

Publisher Verlag

Association for Computing Machinery

Place of publishing Erscheinungsort

New York

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

RIS EndNote Bibtex

		Preview	Author(s)	Title	Type	Issue Date
	1		Dreier, Jan ; Toruńczyk, Szymon	Merge-Width and First-Order Model Checking	Inproceedings Konferenzbeitrag	15-Jun-2025