scientific article; zbMATH DE number 7168152

MaRDI QIDQ5216308

Achim Blumensath

Publication date: 17 February 2020

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

regular languagesmonadsinfinite treestree algebras

Mathematics Subject Classification ID

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

Related Items

Unnamed Item ⋮ Unnamed Item ⋮ The Power-Set Construction for Tree Algebras ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Recognisability for algebras of infinite trees
• The Birkhoff theorem for finite algebras
• An algebraic proof of Rabin's tree theorem
• Equational axiomatization of algebras with structure
• Algebra for Infinite Forests with an Application to the Temporal Logic EF
• On finite monoids having only trivial subgroups
• ω-Forest Algebras and Temporal Logics.