scientific article; zbMATH DE number 7350772

MaRDI QIDQ4989401zbMATH OpenFDO

Authors Achim Blumensath

Publication date 25 May 2021

Full work available at URL https://arxiv.org/abs/2006.08316, https://lmcs.episciences.org/7364

zbMATH Keywords

monadsEilenberg-Moore algebrasalgebraic language theory

Mathematics Subject Classification ID

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

Recommendations

• Algebraic and topological theory of languages
• A note on algebras of languages
• Languages in general algebras
• scientific article; zbMATH DE number 3309205
• Semicommutations and algebraic languages
• scientific article; zbMATH DE number 4205992
• Heyting algebras and formal languages
• scientific article; zbMATH DE number 3238653
• scientific article; zbMATH DE number 3892607
• Algebraic properties of \(LA\)-languages

Cites work

• scientific article; zbMATH DE number 5872386 (Why is no real title available?)
• scientific article; zbMATH DE number 3941493 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 1748069 (Why is no real title available?)
• scientific article; zbMATH DE number 803291 (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?)
• A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra
• Algebra for Infinite Forests with an Application to the Temporal Logic EF
• An algebraic proof of Rabin's tree theorem
• Categorical homotopy theory
• Categoricity
• Eilenberg Theorems for Free
• Equational axiomatization of algebras with structure
• Institution-independent model theory
• On tree coalgebras and coalgebra presentations
• Profinite groups.
• Profinite monads, profinite equations, and Reiterman's theorem
• Recognisability for algebras of infinite trees
• Recognisable languages over monads
• Regular languages of thin trees
• Solving Sequential Conditions by Finite-State Strategies
• The Birkhoff theorem for finite algebras

Cited in

(3)

• Languages in general algebras
• The Power-Set Construction for Tree Algebras
• scientific article; zbMATH DE number 3909765 (Why is no real title available?)

This page was built for publication:

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