The following pages link to Tobias Kappé (Q1734518):
Displaying 14 items.
- On series-parallel pomset languages: rationality, context-freeness and automata (Q1734519) (← links)
- Learning to coordinate (Q2028749) (← links)
- A categorical framework for learning generalised tree automata (Q2104477) (← links)
- Completeness and incompleteness of synchronous Kleene algebra (Q2176687) (← links)
- Concurrent Kleene algebra with observations: from hypotheses to completeness (Q2200836) (← links)
- Learning pomset automata (Q2233430) (← links)
- Concurrent Kleene algebra: free model and completeness (Q2324010) (← links)
- (Q5089285) (← links)
- (Q5111639) (← links)
- (Q5155681) (← links)
- (Q5875346) (← links)
- (Q5875403) (← links)
- A complete inference system for skip-free guarded Kleene algebra with tests (Q6535242) (← links)
- Probabilistic guarded KAT Modulo bisimilarity: completeness and complexity (Q6638146) (← links)
