Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science

Book title Buchtitel

ISBN

978-1-4503-9351-5

Publisher Herausgeber

Association for Computing Machinery, Inc.

Filter:

Subject: interpretations

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

RIS EndNote Bibtex Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Bonnet, Édouard ; Dreier, Jan ; Gajarský, Jakub ; Kreutzer, Stephan ; Mählmann, Nikolas ; Simon, Pierre ; Toruńczyk, Szymon	Model Checking on Interpretations of Classes of Bounded Local Cliquewidth	Inproceedings Konferenzbeitrag	4-Aug-2022