The complexity of the coverability, the containment, and the equivalence problems for commutative semigroups (Q5055940): Difference between revisions

Latest revision as of 15:46, 30 December 2024

scientific article; zbMATH DE number 7631377

Language	Label	Description	Also known as
English	The complexity of the coverability, the containment, and the equivalence problems for commutative semigroups	scientific article; zbMATH DE number 7631377

Statements

instance of

scholarly article

0 references

title

The complexity of the coverability, the containment, and the equivalence problems for commutative semigroups (English)

0 references

0 references

0 references

Fundamentals of Computation Theory

0 references

publication date

9 December 2022

0 references

MaRDI profile type

Publication

0 references

cites work

Some algorithmic problems for finitely defined commutative semigroups

0 references

Q2902935

0 references

The Structure of Polynomial Ideals and Gröbner Bases

0 references

Rational sets in commutative monoids

0 references

The equality problem for vector addition systems is undecidable

0 references

Q4818838

0 references

Q4227324

0 references

The complexity of the word problems for commutative semigroups and polynomial ideals

0 references

The covering and boundedness problems for vector addition systems

0 references

Q3708893

0 references

Q5561959

0 references

Admissible orders and linear forms

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5055940

@@ Property / DOI @@
-.1007/BFb0036189
@@ Property / DOI: 10.1007/BFb0036189 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Some algorithmic problems for finitely defined commutative semigroups
+Normal rank
@@ Property / cites work @@
+Q2902935
@@ Property / cites work: Q2902935 / rank @@
+Normal rank
@@ Property / cites work @@
+The Structure of Polynomial Ideals and Gröbner Bases
+Normal rank
@@ Property / cites work @@
+Rational sets in commutative monoids
@@ Property / cites work: Rational sets in commutative monoids / rank @@
+Normal rank
@@ Property / cites work @@
+The equality problem for vector addition systems is undecidable
+Normal rank
@@ Property / cites work @@
+Q4818838
@@ Property / cites work: Q4818838 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4227324
@@ Property / cites work: Q4227324 / rank @@
+Normal rank
@@ Property / cites work @@
+The complexity of the word problems for commutative semigroups and polynomial ideals
+Normal rank
@@ Property / cites work @@
+The covering and boundedness problems for vector addition systems
+Normal rank
@@ Property / cites work @@
+Q3708893
@@ Property / cites work: Q3708893 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5561959
@@ Property / cites work: Q5561959 / rank @@
+Normal rank
@@ Property / cites work @@
+Admissible orders and linear forms
@@ Property / cites work: Admissible orders and linear forms / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/BFB0036189
@@ Property / DOI: 10.1007/BFB0036189 / rank @@
+Normal rank