Can I read Cut-elimination and the Decidability of Reachability in Alternating Pushdown Systems on EtoBox?

Cut-elimination and the Decidability of Reachability in Alternating Pushdown Systems by Dowek, Gilles; Jiang, Ying is a scholarly article available to read on EtoBox.

What is Cut-elimination and the Decidability of Reachability in Alternating Pushdown Systems about?

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.

Author

Dowek, Gilles; Jiang, Ying

Published

2014

Language

EN