The algebra of binary trees is affine complete
Fuente:
arXiv
Salvato in:
| Autori principali: | Arnold, Andre, Cegielski, Patrick, Grigorieff, Serge, Guessarian, Irene |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2020
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
di: Vidal, Juan Climent, et al.
Pubblicazione: (2024)
di: Vidal, Juan Climent, et al.
Pubblicazione: (2024)
Eilenberg correspondence for Stone recognition
di: Almeida, Jorge, et al.
Pubblicazione: (2025)
di: Almeida, Jorge, et al.
Pubblicazione: (2025)
Generalized quasiorders: constructions and characterizations
di: Jakubíková-Studenovská, D., et al.
Pubblicazione: (2025)
di: Jakubíková-Studenovská, D., et al.
Pubblicazione: (2025)
Varieties whose tolerances are homomorphic images of their congruences
di: Czedli, Gabor, et al.
Pubblicazione: (2012)
di: Czedli, Gabor, et al.
Pubblicazione: (2012)
Equidecomposable magmas
di: Cardó, Carles
Pubblicazione: (2024)
di: Cardó, Carles
Pubblicazione: (2024)
Independent joins of tolerance factorable varieties
di: Chajda, Ivan, et al.
Pubblicazione: (2012)
di: Chajda, Ivan, et al.
Pubblicazione: (2012)
Every complete atomic Boolean algebra is the ideal lattice of a cBCK-algebra
di: Evans, C. Matthew
Pubblicazione: (2021)
di: Evans, C. Matthew
Pubblicazione: (2021)
From subtractive ideals of semirings to deductive and inductive sets in general algebras
di: Caviglia, Elena, et al.
Pubblicazione: (2026)
di: Caviglia, Elena, et al.
Pubblicazione: (2026)
Heights of one- and two-sided congruence lattices of semigroups
di: Brookes, M., et al.
Pubblicazione: (2023)
di: Brookes, M., et al.
Pubblicazione: (2023)
Congruence Extensions in Congruence-modular Varieties
di: Georgescu, George, et al.
Pubblicazione: (2020)
di: Georgescu, George, et al.
Pubblicazione: (2020)
The hereditariness problem for the Černý conjecture
di: Rodaro, Emanuele, et al.
Pubblicazione: (2025)
di: Rodaro, Emanuele, et al.
Pubblicazione: (2025)
Epimorphisms between finitely generated algebras
di: Carai, Luca, et al.
Pubblicazione: (2024)
di: Carai, Luca, et al.
Pubblicazione: (2024)
The word problem and growth of groups
di: Bondarenko, Ievgen
Pubblicazione: (2024)
di: Bondarenko, Ievgen
Pubblicazione: (2024)
Full automorphism groups of the axial algebra for $M_{11}$ and related algebras
di: Shumba, Tendai M. Mudziiri, et al.
Pubblicazione: (2026)
di: Shumba, Tendai M. Mudziiri, et al.
Pubblicazione: (2026)
The Multisign Algebra: A Generalization of the Sign Concept
di: Aliaga-Rojas, Sebastián, et al.
Pubblicazione: (2025)
di: Aliaga-Rojas, Sebastián, et al.
Pubblicazione: (2025)
Growth and density in free groupoids
di: Cardó, Carles
Pubblicazione: (2024)
di: Cardó, Carles
Pubblicazione: (2024)
Polymorphism-homogeneity and universal algebraic geometry
di: Tóth, Endre, et al.
Pubblicazione: (2020)
di: Tóth, Endre, et al.
Pubblicazione: (2020)
Shape Preserving Tree Transducers
di: Gallot, Paul, et al.
Pubblicazione: (2025)
di: Gallot, Paul, et al.
Pubblicazione: (2025)
Characterization of deterministically recognizable weighted tree languages over commutative semifields by finitely generated and cancellative scalar algebras
di: Fülöp, Zoltán, et al.
Pubblicazione: (2025)
di: Fülöp, Zoltán, et al.
Pubblicazione: (2025)
Locality Testing for NFAs is PSPACE-complete
di: Amarilli, Antoine, et al.
Pubblicazione: (2025)
di: Amarilli, Antoine, et al.
Pubblicazione: (2025)
Two-way affine automata can verify every language
di: Chen, Zeyu, et al.
Pubblicazione: (2025)
di: Chen, Zeyu, et al.
Pubblicazione: (2025)
Solvable, nilpotent and supernilpotent semigroups with completely simple ideal and monoids
di: Mayr, Peter
Pubblicazione: (2025)
di: Mayr, Peter
Pubblicazione: (2025)
On the ET0L subgroup membership problem in bounded automata groups
di: Bishop, Alex, et al.
Pubblicazione: (2024)
di: Bishop, Alex, et al.
Pubblicazione: (2024)
A substitution lemma for multiple context-free languages
di: Duncan, Andrew, et al.
Pubblicazione: (2025)
di: Duncan, Andrew, et al.
Pubblicazione: (2025)
A note on the probability of a groupoid having deficient sets
di: Cardó, Carles
Pubblicazione: (2024)
di: Cardó, Carles
Pubblicazione: (2024)
On retract varieties of algebras
di: Halušková, Emília, et al.
Pubblicazione: (2024)
di: Halušková, Emília, et al.
Pubblicazione: (2024)
Płonka Adjunction
di: Vidal, Juan Climent, et al.
Pubblicazione: (2023)
di: Vidal, Juan Climent, et al.
Pubblicazione: (2023)
Free topological Mal'tsev algebras
di: Sipacheva, Ol'ga V., et al.
Pubblicazione: (2024)
di: Sipacheva, Ol'ga V., et al.
Pubblicazione: (2024)
Commutative algebras of series
di: Clemente, Lorenzo
Pubblicazione: (2026)
di: Clemente, Lorenzo
Pubblicazione: (2026)
Frobenius reciprocity, modular connections, lattice isomorphism theorem and abstract principal ideals
di: Goswami, Amartya, et al.
Pubblicazione: (2025)
di: Goswami, Amartya, et al.
Pubblicazione: (2025)
Coherent Conditions: Algebraic Geometry for Arbitrary Classes of Algebras
di: van Nispen, K. R.
Pubblicazione: (2025)
di: van Nispen, K. R.
Pubblicazione: (2025)
Commutativity of involutive two-valued groups
di: Gaifullin, Alexander A.
Pubblicazione: (2024)
di: Gaifullin, Alexander A.
Pubblicazione: (2024)
Arithmetic and $k$-maximality of the cyclic free magma
di: Cardó, Carles
Pubblicazione: (2024)
di: Cardó, Carles
Pubblicazione: (2024)
Computing measures of weak-MSO definable sets of trees
di: Niwiński, Damian, et al.
Pubblicazione: (2024)
di: Niwiński, Damian, et al.
Pubblicazione: (2024)
Minimizing Streaming String Transducers: An algebraic approach
di: Benalioua, Yahia Idriss, et al.
Pubblicazione: (2026)
di: Benalioua, Yahia Idriss, et al.
Pubblicazione: (2026)
Completeness Theorems for Kleene algebra with tests and top
di: Pous, Damien, et al.
Pubblicazione: (2023)
di: Pous, Damien, et al.
Pubblicazione: (2023)
Two or three things I know about tree transducers
di: Nguyên, Lê Thành Dũng
Pubblicazione: (2024)
di: Nguyên, Lê Thành Dũng
Pubblicazione: (2024)
A short proof of a bound on the size of finite irreducible semigroups of rational matrices
di: Steinberg, Benjamin
Pubblicazione: (2026)
di: Steinberg, Benjamin
Pubblicazione: (2026)
Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny
di: Zetzsche, Stefan, et al.
Pubblicazione: (2024)
di: Zetzsche, Stefan, et al.
Pubblicazione: (2024)
Free commutative skew braces
di: Letourmy, Thomas
Pubblicazione: (2025)
di: Letourmy, Thomas
Pubblicazione: (2025)
Documenti analoghi
-
From higher-order rewriting systems to higher-order categorial algebras and higher-order Curry-Howard isomorphisms
di: Vidal, Juan Climent, et al.
Pubblicazione: (2024) -
Eilenberg correspondence for Stone recognition
di: Almeida, Jorge, et al.
Pubblicazione: (2025) -
Generalized quasiorders: constructions and characterizations
di: Jakubíková-Studenovská, D., et al.
Pubblicazione: (2025) -
Varieties whose tolerances are homomorphic images of their congruences
di: Czedli, Gabor, et al.
Pubblicazione: (2012) -
Equidecomposable magmas
di: Cardó, Carles
Pubblicazione: (2024)