Decidability of Reachability Problems for Classes of Two Counters Automata.

Alain Finkel, Grgoire Sutre

Browse the full STACS paper archive.