The following pages link to Chris Köcher (Q825975):
Displaying 9 items.
- Reachability problems on reliable and lossy queue automata (Q825976) (← links)
- Reachability problems on partially lossy queue automata (Q2330598) (← links)
- The transformation monoid of a partially lossy queue (Q2399374) (← links)
- (Q3304144) (← links)
- The inclusion structure of partially lossy queue monoids and their trace submonoids (Q4553833) (← links)
- Rational, recognizable, and aperiodic partially lossy queue languages (Q5075703) (← links)
- (Q5090942) (← links)
- Forwards- and backwards-reachability for cooperating multi-pushdown systems (Q6546604) (← links)
- Backwards-reachability for cooperating multi-pushdown systems (Q6655673) (← links)
