Výsledky vyhľadávania - "Descriptive complexity and finite models"
-
1
The Rabin index of parity games: Its complexity and approximation
ISSN: 0890-5401, 1090-2651Vydavateľské údaje: Elsevier Inc 01.12.2015Vydané v Information and computation (01.12.2015)“…We study the descriptive complexity of parity games by taking into account the coloring of their game graphs whilst ignoring their ownership structure…”
Získať plný text
Journal Article