THE PERKINS SEMIGROUP HAS CO-NP-COMPLETE TERM-EQUIVALENCE PROBLEM (Q5461667): Difference between revisions
From MaRDI portal
Latest revision as of 11:10, 30 July 2024
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