word problem for semigroups

GPTKB entity

Statements (13)
Predicate Object
gptkbp:instanceOf theoretical computer science
gptkbp:concerns semigroups
gptkbp:field gptkb:algebra
theoretical computer science
gptkbp:heldBy undecidable in general
https://www.w3.org/2000/01/rdf-schema#label word problem for semigroups
gptkbp:introduced gptkb:Axel_Thue
gptkbp:relatedTo word problem for groups
word problem for monoids
gptkbp:studiedIn combinatorial algebra
gptkbp:type whether two words represent the same element in a semigroup
gptkbp:bfsParent gptkb:Thue_system
gptkbp:bfsLayer 8