Trading Bounds for Memory in Games with Counters.

Nathanal Fijalkow, Florian Horn, Denis Kuperberg, Michal Skrzypczak

Browse the full ICALP paper archive.