2 search results - page 1 / 1 » Formats of Winning Strategies for Six Types of Pushdown Game... |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
ndence fails. In the conclusion we address the question of an abstract criterion that explains the results.
LICS
2008
IEEE
13 years 11 months ago
2008
IEEE
We investigate the notions of may- and mustapproximation in Erratic Idealized Algol (a nondeterministic extension of Idealized Algol), and give explicit characterizations of both ...