The Taming of the Semi-Linear Set

Dmitry Chistikov, Christoph Haase
January 2016
PDF DOI
Type
Conference paper
Publication
Automata, Languages, and Programming, ICALP