Monodic Tree Kleene Algebra

DOI10.1007/11828563_27zbMath1135.68031OpenAlexW1524873566MaRDI QIDQ5459196

Hitoshi Furusawa, Toshinori Takai

Publication date: 24 April 2008

Published in: Relations and Kleene Algebra in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11828563_27

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Related Items (5)

Reactive Probabilistic Programs and Refinement Algebra ⋮ Towards a linear algebra of programming ⋮ Using probabilistic Kleene algebra pKA for protocol verification ⋮ Refinement algebra for probabilistic programs ⋮ From Tree Automata to Rational Tree Expressions

This page was built for publication: Monodic Tree Kleene Algebra