HNN extensions of finite semilattices (Languages, Algebra and Computer Systems)
Akihiro Yamamura · Kyoto University Research Information Repository (Kyoto University) · 1999
A finitely presented inverse semigroup is the most interesting ob- ject of research in inverse semigroup theory from the point of view of algorithmic problems.Several finitely presented inverse semigroups can be presented as HNN extensions of finite semilattices.In this paper we discuss such inverse semigroups.