The Taming of the Semi−Linear Set
Dmitry Chistikov and Christoph Haase
Book Title
Automata‚ Languages‚ and Programming‚ ICALP
Pages
128:1–128:13
Publisher
Schloss Dagstuhl − Leibniz−Zentrum fuer Informatik
Series
LIPIcs
Volume
55
Year
2016
Dmitry Chistikov and Christoph Haase