EQUATIONS IN FREE INVERSE MONOIDS

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)

zbMATH Keywords

free groupssystems of equationsfree inverse semigroupsconsistency problemfree inverse monoidsextendibility problem

Mathematics Subject Classification ID

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