Decidability equivalence between the star problem and the finite power problem in trace monoids (Q5945722)
From MaRDI portal
scientific article; zbMATH DE number 1657463
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Decidability equivalence between the star problem and the finite power problem in trace monoids |
scientific article; zbMATH DE number 1657463 |
Statements
Decidability equivalence between the star problem and the finite power problem in trace monoids (English)
0 references
22 July 2002
0 references
star problem in trace monoids
0 references
