1 paper
A. R. Balasubramanian, Franzisco Schmidt
Nested counter systems (NCS) are a generalization of counter systems to higher-order counters. Here, a higher-order counter is allowed to have other (lower-order) counters as eleme…