23 search results - page 1 / 5 » fossacs 2006 |
FOSSACS
2006
Springer
13 years 10 months ago
2006
Springer
FOSSACS
2006
Springer
13 years 10 months ago
2006
Springer
FOSSACS
2006
Springer
13 years 10 months ago
2006
Springer
FOSSACS
2006
Springer
13 years 10 months ago
2006
Springer
FOSSACS
2006
Springer
13 years 10 months ago
2006
Springer
We consider parity games played on special pushdown graphs, namely those generated by one-counter processes. For parity games on pushdown graphs, it is known from [22] that decidin...