Effective equation solving, constraints and growth in virtually abelian groups
In this paper we study the satisfiability and solutions of group equations when combinatorial,
algebraic and language-theoretic constraints are imposed on the solutions. We show that …
algebraic and language-theoretic constraints are imposed on the solutions. We show that …
Word equations, constraints, and formal languages
L Ciobanu - … Conference on Developments in Language Theory, 2024 - Springer
Word Equations, Constraints, and Formal Languages | SpringerLink Skip to main content
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …
Advertisement SpringerLink Account Menu Find a journal Publish with us Track your research …
On the first order theory of plactic monoids
D Turaev - Semigroup Forum, 2024 - Springer
We prove that a plactic monoid of any finite rank has decidable first order theory. This
resolves other open decidability problems about the finite rank plactic monoids, such as the …
resolves other open decidability problems about the finite rank plactic monoids, such as the …
Equations and Theories in Plactic Monoids
D Turaev - 2024 - ueaeprints.uea.ac.uk
In this thesis we explore Diophantine equations and first order sentences of the plactic
monoids. We present explicit algebraic criteria for certain small equations to have solutions …
monoids. We present explicit algebraic criteria for certain small equations to have solutions …