Effective constructions in well-partially-ordered free monoids

From MaRDI portal
Publication:1249047