Items where Author is "Heuvel, Jan van den"

Article

Eickmeyer, Kord, Heuvel, Jan van den ORCID: 0000-0003-0897-9148, Kawarabayashi, Ken-Ichi, Kreutzer, Stephan, Mendez, Patrice Ossona De, Pilipczuk, Micha, Quiroz, Daniel A., Rabinovich, Roman and Siebertz, Sebastian (2020) Model-checking on ordered structures. ACM Transactions on Computational Logic, 21 (2). ISSN 1529-3785