Decidability of the word problem in Yamamura's HNN extensions of finite inverse semigroups.
From MaRDI portal
Publication:958188
DOI10.1007/s00233-008-9050-zzbMath1172.20041OpenAlexW2057275313MaRDI QIDQ958188
Emanuele Rodaro, A. Cherubini Spoletini
Publication date: 2 December 2008
Published in: Semigroup Forum (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00233-008-9050-z
Free semigroups, generators and relations, word problems (20M05) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Inverse semigroups (20M18)
Related Items (13)
Decidability Versus Undecidability of the Word Problem in Amalgams of Inverse Semigroups ⋮ Undecidability of the word problem for Yamamura's HNN-extension under nice conditions. ⋮ Amalgams of inverse semigroups and reversible two-counter machines. ⋮ HNN extensions with lower bounded inverse monoids ⋮ On the structure of lower bounded HNN extensions ⋮ MULTILINEAR EQUATIONS IN AMALGAMS OF FINITE INVERSE SEMIGROUPS ⋮ BICYCLIC SUBSEMIGROUPS IN AMALGAMS OF FINITE INVERSE SEMIGROUPS ⋮ Amalgams of finite inverse semigroups and deterministic context-free languages. ⋮ Some completely semisimple HNN-extensions of inverse semigroups ⋮ Amalgams vs Yamamura's HNN-Extensions of Inverse Semigroups ⋮ Algorithmic properties of inverse monoids with hyperbolic and tree-like Schützenberger graphs ⋮ Maximal subgroups of amalgams of finite inverse semigroups. ⋮ Normal forms for semigroup amalgams
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Presentations of inverse monoids
- Groupoids, inverse semigroups, and their operator algebras
- HNN extensions of inverse semigroups and groupoids.
- Algorithmic problems for amalgams of finite semigroups
- Amalgams of finite inverse semigroups.
- The Word Problem for HNN-extensions of Free Inverse Semigroups
- Amalgams vs Yamamura's HNN-Extensions of Inverse Semigroups
- HNN Extensions of Inverse Semigroups and Applications
- EMBEDDING THEOREMS FOR SEMIGROUPS
- Embedding Theorems for Groups
- Amalgamated free products of inverse semigroups
- Amalgamated free products of inverse semigroups
This page was built for publication: Decidability of the word problem in Yamamura's HNN extensions of finite inverse semigroups.