Regular tree algebras

MaRDI QIDQ5216308zbMATH OpenFDO

Authors Achim Blumensath

Publication date 17 February 2020

Full work available at URL https://arxiv.org/abs/1808.03559

zbMATH Keywords

monadsregular languagesinfinite treestree algebras

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Recommendations

• scientific article; zbMATH DE number 5005936
• Algebraic recognizability of regular tree languages
• Recognisability for algebras of infinite trees
• Algebras for classifying regular tree languages and an application to frontier testability
• scientific article; zbMATH DE number 3577165

Cites work

• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 941396 (Why is no real title available?)
• scientific article; zbMATH DE number 822489 (Why is no real title available?)
• scientific article; zbMATH DE number 7168152 (Why is no real title available?)
• scientific article; zbMATH DE number 2206109 (Why is no real title available?)
• Algebra for Infinite Forests with an Application to the Temporal Logic EF
• An algebraic proof of Rabin's tree theorem
• Equational axiomatization of algebras with structure
• On finite monoids having only trivial subgroups
• Recognisability for algebras of infinite trees
• Regular languages of thin trees
• The Birkhoff theorem for finite algebras
• ω-Forest Algebras and Temporal Logics.

Cited in

(8)

• scientific article; zbMATH DE number 7168152 (Why is no real title available?)
• scientific article; zbMATH DE number 5872386 (Why is no real title available?)
• The Power-Set Construction for Tree Algebras
• Trace operators on regular trees
• The expansion problem for infinite trees
• A complexity approach to tree algebras: the bounded case
• scientific article; zbMATH DE number 7471714 (Why is no real title available?)
• scientific article; zbMATH DE number 7350772 (Why is no real title available?)

This page was built for publication: Regular tree algebras

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