A deterministic algorithm to decide if a finitely presented abelian monoid is cancellative
ISSN: 0092-7872
Year of publication: 1996
Volume: 24
Issue: 13
Pages: 4217-4224
Type: Article
ISSN: 0092-7872
Year of publication: 1996
Volume: 24
Issue: 13
Pages: 4217-4224
Type: Article