Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formats of Winning Strategies for Six Types of Pushdown Games   The solution of parity games over pushdown graphs (Walukiewicz '96) was the
first step towards an effective theory of infinite-state games. It was shown
that winning strategies for pushdown games can be implemented again as pushdown
automata. We continue this study and investigate the connection between game
presentations and winning strategies in altogether six cases of game arenas,
among them realtime pushdown systems, visibly pushdown systems, and counter
systems. In four cases we show by a uniform proof method that we obtain
strategies implementable by the same type of pushdown machine as given in the
game arena. We prove that for the two remaining cases this correspondence
fails. In the conclusion we address the question of an abstract criterion that
explains the results.

28
The categories of this paper are: alg-geom
13
The categories of this paper are: quant-ph
21
The categories of this paper are: adap-org
5
The categories of this paper are: gr-qc
33
The categories of this paper are: plasm-ph
22
The categories of this paper are: chao-dyn
2
The categories of this paper are: math
3
The categories of this paper are: physics
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
35
The categories of this paper are: mtrl-th
23
The categories of this paper are: solv-int
20
The categories of this paper are: acc-phys
4
The categories of this paper are: cond-mat
10
The categories of this paper are: q-bio
8
The categories of this paper are: hep-ex