New decision algorithms for finitely presented commutative semigroups (Q1147232): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/0898-1221(81)90115-2
+Normal rank
@@ Property / OpenAlex ID @@
+W2099954293
@@ Property / OpenAlex ID: W2099954293 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5581665
@@ Property / cites work: Q5581665 / rank @@
+Normal rank
@@ Property / cites work @@
+New decision algorithms for finitely presented commutative semigroups
+Normal rank
@@ Property / cites work @@
+Q5805025
@@ Property / cites work: Q5805025 / rank @@
+Normal rank
@@ Property / cites work @@
+On theories with a combinatorial definition of 'equivalence'
+Normal rank
@@ Property / cites work @@
+A Decision Problem for Transformations of Trees
@@ Property / cites work: A Decision Problem for Transformations of Trees / rank @@
+Normal rank
@@ Property / cites work @@
+Q3896523
@@ Property / cites work: Q3896523 / rank @@
+Normal rank
@@ Property / cites work @@
+Some algorithmic problems for finitely defined commutative semigroups
+Normal rank
@@ Property / cites work @@
+Q3869335
@@ Property / cites work: Q3869335 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5343411
@@ Property / cites work: Q5343411 / rank @@
+Normal rank
@@ Property / cites work @@
+Constructions in Algebra
@@ Property / cites work: Constructions in Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4152749
@@ Property / cites work: Q4152749 / rank @@
+Normal rank
@@ Property / cites work @@
+The Isomorphism Problem for Some Classes of Multiplicative Systems
+Normal rank
@@ Property / cites work @@
+Q3869404
@@ Property / cites work: Q3869404 / rank @@
+Normal rank