New decision algorithms for finitely presented commutative semigroups
- 1 January 1981
- journal article
- Published by Elsevier in Computers & Mathematics with Applications
- Vol. 7 (2) , 159-165
- https://doi.org/10.1016/0898-1221(81)90115-2
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Constructions in algebraTransactions of the American Mathematical Society, 1974
- Some algorithmic problems for finitely defined commutative semigroupsSiberian Mathematical Journal, 1967
- A Decision Problem for Transformations of TreesCanadian Journal of Mathematics, 1963
- The isomorphism problem for some classes of multiplicative systemsTransactions of the American Mathematical Society, 1963
- On Theories with a Combinatorial Definition of "Equivalence"Annals of Mathematics, 1942
- Die Frage der endlich vielen Schritte in der Theorie der PolynomidealeMathematische Annalen, 1926