New Decidability Results Concerning Two-way Counter Machines and Applications.

Oscar H. Ibarra, Tao Jiang, Nicholas Q. Trn, Hui Wang

Browse the full ICALP paper archive.