Context-free commutative grammars with integer counters and resets

Dmitry Chistikov, Christoph Haase, Simon Halfon
January 2018
PDF DOI
Type
Journal article
Publication
Theor. Comput. Sci.