Equivalence and membership problems for regular trace languages. (English) Zbl 0486.68079

Automata, languages and programming, 9th Colloq., Aarhus/Den. 1982, Lect. Notes Comput. Sci. 140, 61-71 (1982).


68Q45 Formal languages and automata
68Q25 Analysis of algorithms and problem complexity
68R10 Graph theory (including graph drawing) in computer science
20M35 Semigroups in automata theory, linguistics, etc.


Zbl 0477.00027