Article,

Characterizations of the Decidability of Some Problems for Regular Trace Languages.

, and .
Math. Syst. Theory, 22 (1): 1-19 (1989)

Meta data

Tags

Users

  • @dblp

Comments and Reviews