EQUATIONS IN FREE INVERSE MONOIDS

DOI10.1142/S0218196707003755MaRDI QIDQ5386970zbMATH OpenFDO

Authors Timothy Michael Deis, Géraud Sénizergues, J. C. Meakin

Publication date 14 May 2008

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/S0218196707003755

zbMATH Keywords

consistency problemextendibility problemfree groupsfree inverse monoidsfree inverse semigroupssystems of equations

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Word problems, etc. in computability and recursion theory (03D40) Free semigroups, generators and relations, word problems (20M05) Inverse semigroups (20M18)

Recommendations

• Multilinear equations in free inverse monoids.
• Solving one-variable equations in free groups
• scientific article; zbMATH DE number 1512776

Cites work

• CONJUGACY IN FREE INVERSE MONOIDS
• Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing
• scientific article; zbMATH DE number 1737190 (Why is no real title available?)
• ON SYSTEMS OF EQUATIONS IN A FREE GROUP
• PRODUCTS OF COMMUTATORS AND PRODUCTS OF SQUARES IN A FREE GROUP
• Tarski’s problem about the elementary theory of free groups has a positive solution
• The existential theory of equations with rational constraints in free groups is PSPACE-complete
• The theory of ends, pushdown automata, and second-order logic
• Tree acceptors and some of their applications
• Unification of concept terms in description logics

Cited in

(13)

• On some systems of equations with constraints in a free group. -- Addenda.
• On equations and first-order theory of one-relator monoids
• A tribute to John Meakin on the occasion of his 75th birthday
• On labeled birooted tree languages: algebras, automata and logic
• Inversion formula for the growth function of a cancellative monoid.
• Inverse monoids: decidability and complexity of algebraic questions.
• MULTILINEAR EQUATIONS IN AMALGAMS OF FINITE INVERSE SEMIGROUPS
• Identity problems, solvability of equations and unification in varieties of semigroups related to varieties of groups
• CONJUGACY IN FREE INVERSE MONOIDS
• ALGORITHMIC PROBLEMS ON INVERSE MONOIDS OVER VIRTUALLY FREE GROUPS
• scientific article; zbMATH DE number 1512776 (Why is no real title available?)
• Finite parametrization of solutions of equations in a free monoid. I
• Multilinear equations in free inverse monoids.

This page was built for publication: EQUATIONS IN FREE INVERSE MONOIDS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5386970)