The following pages link to Monodic Tree Kleene Algebra (Q5459196):
Displaying 9 items.
- Axiomatizing the equational theory of regular tree languages (Q844887) (← links)
- Using probabilistic Kleene algebra pKA for protocol verification (Q929968) (← links)
- Trees, band monoids and formal languages (Q1910641) (← links)
- Towards a linear algebra of programming (Q1941862) (← links)
- Refinement algebra for probabilistic programs (Q2268474) (← links)
- Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
- From Tree Automata to Rational Tree Expressions (Q4963267) (← links)
- (Q5286134) (← links)
- A complete inference system for skip-free guarded Kleene algebra with tests (Q6535242) (← links)