Monodic Tree Kleene Algebra

DOI10.1007/11828563_27zbMATH Open1135.68031OpenAlexW1524873566MaRDI QIDQ5459196FDOQ5459196

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

Recommendations

• scientific article; zbMATH DE number 475412
• The Monadic Theory of Tree-like Structures
• Monoidal-closed categories of tree automata
• Publication:4941910
• 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

Mathematics Subject Classification ID

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

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
• Title not available (Why is that?)
• 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)