EQUATIONS IN FREE INVERSE MONOIDS
From MaRDI portal
Publication:5386970
DOI10.1142/S0218196707003755zbMath1158.20028MaRDI QIDQ5386970
Géraud Sénizergues, Timothy Michael Deis, John C. Meakin
Publication date: 14 May 2008
Published in: International Journal of Algebra and Computation (Search for Journal in Brave)
free groupssystems of equationsfree inverse semigroupsconsistency problemfree inverse monoidsextendibility problem
Free semigroups, generators and relations, word problems (20M05) Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40) Inverse semigroups (20M18)
Related Items (8)
Inverse monoids: decidability and complexity of algebraic questions. ⋮ Equations over free inverse monoids with idempotent variables ⋮ ALGORITHMIC PROBLEMS ON INVERSE MONOIDS OVER VIRTUALLY FREE GROUPS ⋮ A tribute to John Meakin on the occasion of his 75th birthday ⋮ MULTILINEAR EQUATIONS IN AMALGAMS OF FINITE INVERSE SEMIGROUPS ⋮ On equations and first-order theory of one-relator monoids ⋮ Identity Problems, Solvability of Equations and Unification in Varieties of Semigroups Related to Varieties of Groups ⋮ On labeled birooted tree languages: algebras, automata and logic
Cites Work
- Unnamed Item
- The theory of ends, pushdown automata, and second-order logic
- Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing
- Tree acceptors and some of their applications
- The existential theory of equations with rational constraints in free groups is PSPACE-complete
- CONJUGACY IN FREE INVERSE MONOIDS
- ON SYSTEMS OF EQUATIONS IN A FREE GROUP
- Tarski’s problem about the elementary theory of free groups has a positive solution
- PRODUCTS OF COMMUTATORS AND PRODUCTS OF SQUARES IN A FREE GROUP
- Unification of concept terms in description logics
This page was built for publication: EQUATIONS IN FREE INVERSE MONOIDS