The following pages link to (Q3763601):
Displaying 12 items.
- On regular trace languages (Q1097040) (← links)
- Theory of traces (Q1107296) (← links)
- On the decidability of the equivalence problem for partially commutative rational power series (Q1193904) (← links)
- Two techniques in the area of the star problem in trace monoids (Q1884907) (← links)
- Unambiguous recognizable two-dimensional languages (Q3431439) (← links)
- Unambiguity in Timed Regular Languages: Automata and Logics (Q3588092) (← links)
- Trace languages defined by regular string languages (Q3753510) (← links)
- Characterizations of the decidability of some problems for regular trace languages (Q4729376) (← links)
- Logical definability of some rational trace languages (Q4850330) (← links)
- (Q5092424) (← links)
- Toward a Structure Theory of Regular Infinitary Trace Languages (Q5167833) (← links)
- Reordering Derivatives of Trace Closures of Regular Languages. (Q5875402) (← links)