Cover Image

The algebra of binary trees is affine complete

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Arnold, Andre, Cegielski, Patrick, Grigorieff, Serge, Guessarian, Irene
Format:	Preprint
Published:	2020
Subjects:	Formal Languages and Automata Theory 06A99, 08A30, 08B20
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
by: Vidal, Juan Climent, et al.
Published: (2024)

Eilenberg correspondence for Stone recognition
by: Almeida, Jorge, et al.
Published: (2025)

Generalized quasiorders: constructions and characterizations
by: Jakubíková-Studenovská, D., et al.
Published: (2025)

Varieties whose tolerances are homomorphic images of their congruences
by: Czedli, Gabor, et al.
Published: (2012)

Equidecomposable magmas
by: Cardó, Carles
Published: (2024)

Independent joins of tolerance factorable varieties
by: Chajda, Ivan, et al.
Published: (2012)

Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra
by: Evans, C. Matthew
Published: (2021)

From subtractive ideals of semirings to deductive and inductive sets in general algebras
by: Caviglia, Elena, et al.
Published: (2026)

Heights of one- and two-sided congruence lattices of semigroups
by: Brookes, M., et al.
Published: (2023)

Congruence Extensions in Congruence-modular Varieties
by: Georgescu, George, et al.
Published: (2020)

The hereditariness problem for the Černý conjecture
by: Rodaro, Emanuele, et al.
Published: (2025)

Epimorphisms between finitely generated algebras
by: Carai, Luca, et al.
Published: (2024)

The word problem and growth of groups
by: Bondarenko, Ievgen
Published: (2024)

Full automorphism groups of the axial algebra for $M_{11}$ and related algebras
by: Shumba, Tendai M. Mudziiri, et al.
Published: (2026)

The Multisign Algebra: A Generalization of the Sign Concept
by: Aliaga-Rojas, Sebastián, et al.
Published: (2025)

Growth and density in free groupoids
by: Cardó, Carles
Published: (2024)

Polymorphism-homogeneity and universal algebraic geometry
by: Tóth, Endre, et al.
Published: (2020)

Shape Preserving Tree Transducers
by: Gallot, Paul, et al.
Published: (2025)

Characterization of deterministically recognizable weighted tree languages over commutative semifields by finitely generated and cancellative scalar algebras
by: Fülöp, Zoltán, et al.
Published: (2025)

Locality Testing for NFAs is PSPACE-complete
by: Amarilli, Antoine, et al.
Published: (2025)

Two-way affine automata can verify every language
by: Chen, Zeyu, et al.
Published: (2025)

Solvable, nilpotent and supernilpotent semigroups with completely simple ideal and monoids
by: Mayr, Peter
Published: (2025)

On the ET0L subgroup membership problem in bounded automata groups
by: Bishop, Alex, et al.
Published: (2024)

A substitution lemma for multiple context-free languages
by: Duncan, Andrew, et al.
Published: (2025)

A note on the probability of a groupoid having deficient sets
by: Cardó, Carles
Published: (2024)

On retract varieties of algebras
by: Halušková, Emília, et al.
Published: (2024)

Płonka Adjunction
by: Vidal, Juan Climent, et al.
Published: (2023)

Free topological Mal'tsev algebras
by: Sipacheva, Ol'ga V., et al.
Published: (2024)

Commutative algebras of series
by: Clemente, Lorenzo
Published: (2026)

Frobenius reciprocity, modular connections, lattice isomorphism theorem and abstract principal ideals
by: Goswami, Amartya, et al.
Published: (2025)

Coherent Conditions: Algebraic Geometry for Arbitrary Classes of Algebras
by: van Nispen, K. R.
Published: (2025)

Commutativity of involutive two-valued groups
by: Gaifullin, Alexander A.
Published: (2024)

Arithmetic and $k$-maximality of the cyclic free magma
by: Cardó, Carles
Published: (2024)

Computing measures of weak-MSO definable sets of trees
by: Niwiński, Damian, et al.
Published: (2024)

Minimizing Streaming String Transducers: An algebraic approach
by: Benalioua, Yahia Idriss, et al.
Published: (2026)

Completeness Theorems for Kleene algebra with tests and top
by: Pous, Damien, et al.
Published: (2023)

Two or three things I know about tree transducers
by: Nguyên, Lê Thành Dũng
Published: (2024)

A short proof of a bound on the size of finite irreducible semigroups of rational matrices
by: Steinberg, Benjamin
Published: (2026)

Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
by: Zetzsche, Stefan, et al.
Published: (2024)

Free commutative skew braces
by: Letourmy, Thomas
Published: (2025)