Pages that link to "Item:Q466372"
From MaRDI portal
The following pages link to Asynchronous trace-matching automata (Q466372):
Displaying 6 items.
- Forbidden traces and forbidden subtraces (Q465957) (← links)
- 2-asynchronous automata (Q1109571) (← links)
- Deterministic asynchronous automata for infinite traces (Q1338892) (← links)
- Inclusion problems in trace monoids (Q2452752) (← links)
- (Q4079517) (← links)
- Pattern matching in trace monoids (Q5048955) (← links)