Cover Image

Equations in wreath products

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Bartholdi, Laurent, Dong, Ruiwen, Pernak, Leon, Wächter, Jan Philipp
Format:	Preprint
Published:	2024
Subjects:	Group Theory Formal Languages and Automata Theory Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Submonoid Membership in n-dimensional lamplighter groups and S-unit equations
by: Dong, Ruiwen
Published: (2024)

Graph and wreath products of cellular automata
by: Salo, Ville
Published: (2020)

Word equations, constraints, and formal languages
by: Ciobanu, Laura
Published: (2024)

Slice closures of indexed languages and word equations with counting constraints
by: Ciobanu, Laura, et al.
Published: (2024)

The Identity Problem in virtually solvable matrix groups over algebraic numbers
by: Bodart, Corentin, et al.
Published: (2024)

Preserving self-similarity in free products of semigroups
by: Brough, Tara Macalister, et al.
Published: (2020)

Some properties of $β$-$η$-normal forms in $λ$-K-calculus (Alcune proprietá delle forme $β$-$η$-normali nel $λ$-K-calcolo)
by: Böhm, Corrado, et al.
Published: (2025)

First-Order Intuitionistic Linear Logic and Hypergraph Languages
by: Pshenitsyn, Tikhon
Published: (2025)

A Diamond Structure in the Transducer Hierarchy
by: Kaufmann, Noah
Published: (2021)

Geodesic languages for rational subsets and conjugates in virtually free groups
by: Carvalho, André, et al.
Published: (2024)

Sections of Submonoids of Nilpotent Groups
by: Shafrir, Doron
Published: (2024)

Presentation of monoids generated by a projection and an involution
by: Caron, Pascal, et al.
Published: (2024)

Is decidability of the Submonoid Membership Problem closed under finite extensions?
by: Shafrir, Doron
Published: (2024)

On linguistic subsets of groups and monoids
by: Carvalho, André, et al.
Published: (2025)

Cayley Automatic Groups and Numerical Characteristics of Turing Transducers
by: Berdinsky, Dmitry
Published: (2016)

Equality of cycle lengths in one- and two-dimensional $σ$ automata
by: Vadali, Avi, et al.
Published: (2025)

Visibly Pushdown Languages in Groups
by: Ciobanu, Laura, et al.
Published: (2026)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
by: Rooduijn, Jan, et al.
Published: (2024)

A language-theoretic approach to study the density of subsets in free groups
by: Carvalho, André
Published: (2026)

Higher-Dimensional Timed Automata for Real-Time Concurrency
by: Amrane, Amazigh, et al.
Published: (2024)

HornStr: Invariant Synthesis for Regular Model Checking as Constrained Horn Clauses(Technical Report)
by: Jiang, Hongjian, et al.
Published: (2025)

S-unit equations in modules and linear-exponential Diophantine equations
by: Dong, Ruiwen, et al.
Published: (2025)

The rotating normal form of braids is regular
by: Fromentin, Jean
Published: (2016)

Idempotent cellular automata and their natural order
by: Castillo-Ramirez, Alonso, et al.
Published: (2024)

Towards Efficient Matching of Regexes with Backreferences using Register Set Automata (Technical Report)
by: Havlena, Vojtěch, et al.
Published: (2022)

On Complementation of Nondeterministic Finite Automata without Full Determinization (Technical Report)
by: Holík, Lukáš, et al.
Published: (2025)

A proof theory of right-linear (omega-)grammars via cyclic proofs
by: Das, Anupam, et al.
Published: (2024)

Function spaces for orbit-finite sets
by: Bojańczyk, Mikołaj, et al.
Published: (2024)

An efficient quantifier elimination procedure for Presburger arithmetic
by: Haase, Christoph, et al.
Published: (2024)

The Alternation Hierarchy of First-Order Logic on Words is Decidable
by: Barloy, Corentin, et al.
Published: (2025)

Positive First-order Logic on Words and Graphs
by: Kuperberg, Denis
Published: (2022)

An algebraic theory of ω-regular languages, via μν-expressions
by: Das, Anupam, et al.
Published: (2025)

Cyclic system for an algebraic theory of alternating parity automata
by: Das, Anupam, et al.
Published: (2025)

Membership problems in nilpotent groups
by: Bodart, Corentin
Published: (2024)

Bounded Generation of Submonoids of Heisenberg Groups
by: Shafrir, Doron
Published: (2024)

The asymptotic size of finite irreducible semigroups of rational matrices
by: Kiefer, Stefan, et al.
Published: (2026)

Membership and Conjugacy in Inverse Semigroups
by: Fleischer, Lukas, et al.
Published: (2025)

On finite extensions of lamplighter groups
by: Bodart, Corentin
Published: (2025)

Graph subshifts
by: Arrighi, Pablo, et al.
Published: (2023)

Verifying Quantum Circuits with Level-Synchronized Tree Automata (Technical Report)
by: Abdulla, Parosh Aziz, et al.
Published: (2024)