Monodic Tree Kleene Algebra
From MaRDI portal
Publication:5459196
DOI10.1007/11828563_27zbMath1135.68031MaRDI 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
Related Items
From Tree Automata to Rational Tree Expressions, Using probabilistic Kleene algebra pKA for protocol verification, Towards a linear algebra of programming, Refinement algebra for probabilistic programs, Reactive Probabilistic Programs and Refinement Algebra