共 50 条
- [33] Toward a Structure Theory of Regular Infinitary Trace Languages AUTOMATA, LANGUAGES, AND PROGRAMMING (ICALP 2014), PT II, 2014, 8573 : 134 - 145
- [34] SOME CHARACTERIZATIONS OF L-REGULAR POINTS MONATSHEFTE FUR MATHEMATIK, 1980, 89 (04): : 289 - 292
- [40] DECIDABILITY OF SOME EQUIVALENCE PROBLEMS FOR DOL-SYSTEMS INFORMATION AND CONTROL, 1974, 25 (02): : 166 - 193