An Analysis of the Nonemptiness Problem for Classes of Reversal-Bounded Multicounter Machines.

Rodney R. Howell, Louis E. Rosier

Browse the full MFCS paper archive.