Items where Author is "Quiroz, Daniel A."

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