Schützenberger automata for HNN-extensions of inverse monoids and their use in algorithmic questions

From MaRDI portal
Publication:2280329