The Complexity of Nested Reset Counter Systems.

A. R. Balasubramanian, Franzisco Schmidt

Browse the full LICS paper archive.