Simulation Relations for Alternating Parity Automata and Parity Games
2006 ◽
pp. 59-70
◽
2005 ◽
Vol 34
(5)
◽
pp. 1159-1175
◽
Keyword(s):
2001 ◽
pp. 694-707
◽
Keyword(s):
1992 ◽
Vol 1
(4)
◽
pp. 355-383
◽
Keyword(s):
2017 ◽
Vol 256
◽
pp. 121-135
◽
Keyword(s):
2008 ◽
pp. 342-357
◽