THE PERKINS SEMIGROUP HAS CO-NP-COMPLETE TERM-EQUIVALENCE PROBLEM (Q5461667)
From MaRDI portal
scientific article; zbMATH DE number 2188586
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | THE PERKINS SEMIGROUP HAS CO-NP-COMPLETE TERM-EQUIVALENCE PROBLEM |
scientific article; zbMATH DE number 2188586 |
Statements
THE PERKINS SEMIGROUP HAS CO-NP-COMPLETE TERM-EQUIVALENCE PROBLEM (English)
0 references
26 July 2005
0 references
Term-equivalence problem
0 references
word problem
0 references
identity-checking problem
0 references
computational complexity
0 references
Perkins semigroup
0 references
