Up a level |
Neider, Daniel, Rabinovich, Roman and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2012)
Down the Borel Hierarchy: Solving Muller Games via Safety Games.
.
Neider, Daniel, Rabinovich, Roman and Zimmermann, Martin ORCID: 0000-0002-8038-2453
(2014)
Down the Borel hierarchy: Solving Muller games via safety games.
THEORETICAL COMPUTER SCIENCE, 560 (P3).
pp. 219-234.
Alecu, Bogdan, Lozin, Vadim, Quiroz, Daniel A, Rabinovich, Roman, Razgon, Igor and Zamaraev, Viktor ORCID: 0000-0001-5755-4141
(2022)
The treewidth and pathwidth of graph unions.
[Report]