The following pages link to (Q5111642):
Displaying 12 items.
- On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
- Completeness and incompleteness of synchronous Kleene algebra (Q2176687) (← links)
- Concurrent Kleene algebra: free model and completeness (Q2324010) (← links)
- On the complexity of reasoning in Kleene algebra (Q2506487) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- Concurrent Kleene Algebra (Q3184688) (← links)
- (Q5089285) (← links)
- (Q5111642) (← links)
- (Q5155681) (← links)
- (Q5875344) (← links)
- (Q5875403) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q6563055) (← links)