On equations and first-order theory of one-relator monoids
From MaRDI portal
Publication:2051781
DOI10.1016/j.ic.2021.104745OpenAlexW3156594301MaRDI QIDQ2051781
Albert Garreta, Robert D. Gray
Publication date: 25 November 2021
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1908.00098
Related Items
On the word problem for special monoids ⋮ MULTIPLICATION TABLES AND WORD-HYPERBOLICITY IN FREE PRODUCTS OF SEMIGROUPS, MONOIDS AND GROUPS ⋮ The word problem for one-relation monoids: a survey
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On systems of equations over free products of groups.
- A combination theorem for negatively curved groups
- Conjugacy in monoids with a special Church-Rosser presentation is decidable
- Elementary theory of free non-abelian groups.
- Complexity results on the conjugacy problem for monoids
- Conjugacy in special monoids
- On monoids presented by a single relation
- Decidability and independence of conjugacy problems in finitely presented monoids
- Automata-based model counting for string constraints
- The satisfiability of word equations: decidable and undecidable theories
- Canonical representatives and equations in hyperbolic groups
- Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup
- Bi-interpretability of some monoids with the arithmetic and applications
- Conjugation in semigroups.
- Equations over free inverse monoids with idempotent variables
- Diophantine geometry over groups. VI: The elementary theory of a free group.
- Solution sets for equations over free groups are EDT0L languages
- Equations over groups
- More Than 1700 Years of Word Equations
- EQUATIONS IN A FREE GROUP
- Solutions to twisted word equations and equations in virtually free groups
- WORD EQUATIONS OVER GRAPH PRODUCTS
- Foliations for solving equations in groups: free, virtually free, and hyperbolic groups
- Satisfiability of word equations with constants is in PSPACE
- Theories of HNN-Extensions and Amalgamated Products
- ON SYSTEMS OF EQUATIONS IN A FREE GROUP
- The uniform conjugacy problem for finite church—Rosser thue systems is NP-complete
- Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory
- THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
- Hyperbolic groups and free constructions
- Progressive Reasoning over Recursively-Defined Strings
- From Christoffel Words to Markoff Numbers
- Diophantine problems in solvable groups
- The Diophantine problem in some metabelian groups
- Applying rewriting methods to special monoids
- Computational Complexity
- Diophantine geometry over groups VII: The elementary theory of a hyperbolic group
- EQUATIONS IN FREE INVERSE MONOIDS
- Positive One-Relator Groups
- Equations and fully residually free groups
- Concatenation as a basis for arithmetic
- The residual finiteness of positive one-relator groups
- Quadratic word equations with length constraints, counter systems, and Presburger arithmetic with divisibility
This page was built for publication: On equations and first-order theory of one-relator monoids
