scientific article; zbMATH DE number 7350772
From MaRDI portal
Publication:4989401
Publication date: 25 May 2021
Full work available at URL: https://arxiv.org/abs/2006.08316
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Recognisability for algebras of infinite trees
- The Birkhoff theorem for finite algebras
- On tree coalgebras and coalgebra presentations
- An algebraic proof of Rabin's tree theorem
- Equational axiomatization of algebras with structure
- Institution-independent model theory
- Profinite Monads, Profinite Equations, and Reiterman’s Theorem
- Categorical Homotopy Theory
- Algebra for Infinite Forests with an Application to the Temporal Logic EF
- Recognisable Languages over Monads
- Eilenberg Theorems for Free
- Solving Sequential Conditions by Finite-State Strategies
- Profinite Groups
