. "P(1M0545), P(GA201/09/1313), Z(MSM0021622409)" . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "RIV/00216224:14310/12:00057566!RIV13-GA0-14310___" . "We study the computational complexity of checking identities in a fixed finite monoid. We prove that this problem is coNP-complete for the monoid of all full transformations of a 4-element set. This result completes the description of the complexity of checking identities in the transformation monoids." . . . . . "000306590200005" . . "12"^^ . . "84" . . "10.1007/s00233-012-9401-7" . . . "Checking identities; Finite semigroups; Complexity"@en . "Identity checking problem for transformation monoids" . . "Identity checking problem for transformation monoids"@en . . "1"^^ . "140407" . . . . . "[6A82590363B1]" . "Identity checking problem for transformation monoids" . "14310" . "Semigroup Forum" . "1"^^ . "RIV/00216224:14310/12:00057566" . "Identity checking problem for transformation monoids"@en . . "3" . "Kl\u00EDma, Ond\u0159ej" . . . "We study the computational complexity of checking identities in a fixed finite monoid. We prove that this problem is coNP-complete for the monoid of all full transformations of a 4-element set. This result completes the description of the complexity of checking identities in the transformation monoids."@en . "0037-1912" .