Monodic Tree Kleene Algebra

DOI10.1007/11828563_27MaRDI QIDQ5459196zbMATH OpenOpenAlexFDO

Authors Toshinori Takai, Hitoshi Furusawa

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)

Recommendations

• scientific article; zbMATH DE number 475412
• The Monadic Theory of Tree-like Structures
• Monoidal-closed categories of tree automata
• scientific article; zbMATH DE number 1418347
• Trees, band monoids and formal languages
• Rabin tree automata and finite monoids
• Weak Kleene Algebra and Computation Trees
• scientific article; zbMATH DE number 1722657
• Deterministic tree pushdown automata and monadic tree rewriting systems
• On commutative Kleene monoids

Cited in

(10)

• Reactive Probabilistic Programs and Refinement Algebra
• Axiomatizing the equational theory of regular tree languages
• Using probabilistic Kleene algebra pKA for protocol verification
• scientific article; zbMATH DE number 223548 (Why is no real title available?)
• From tree automata to rational tree expressions
• Refinement algebra for probabilistic programs
• Towards a linear algebra of programming
• Weak Kleene Algebra and Computation Trees
• Trees, band monoids and formal languages
• A complete inference system for skip-free guarded Kleene algebra with tests

This page was built for publication: Monodic Tree Kleene Algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5459196)