Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Cut-elimination and the decidability of reachability in alternating
  pushdown systems   We give a new proof of the decidability of reachability in alternating
pushdown systems, showing that it is a simple consequence of a cut-elimination
theorem for some natural-deduction style inference systems. Then, we show how
this result can be used to extend an alternating pushdown system into a
complete system where for every configuration $A$, either $A$ or $\neg A$ is
provable.

0
The categories of this paper are: hep-ph
12
The categories of this paper are: nucl-th
8
The categories of this paper are: hep-ex
4
The categories of this paper are: cond-mat
24
The categories of this paper are: dg-ga
13
The categories of this paper are: quant-ph
10
The categories of this paper are: q-bio
15
The categories of this paper are: nucl-ex
5
The categories of this paper are: gr-qc
14
The categories of this paper are: math-ph
33
The categories of this paper are: plasm-ph
7
The categories of this paper are: hep-th
25
The categories of this paper are: patt-sol
26
The categories of this paper are: bayes-an
31
The categories of this paper are: ao-sci
19
The categories of this paper are: eess