"25"^^ . "RIV/00216208:11320/09:00207340!RIV10-MSM-11320___" . . "0097-5397" . . "P(LC505)" . . "11320" . "A 2exptime complete varietal membership problem"@en . "A 2exptime complete varietal membership problem" . . "A 2exptime complete varietal membership problem" . . . "301672" . "38" . "We construct a finite algebra generating a variety with 2EXPTIME complete membership problem. This proves that the universal membership problem for varieties and the varietal equivalence problem are 2EXPTIME complete as well, answering the question of Bergman and Slutzki from 2000."@en . . . . . "Kozik, Marcin" . "6" . "000266018400014" . "SIAM Journal on Computing" . "We construct a finite algebra generating a variety with 2EXPTIME complete membership problem. This proves that the universal membership problem for varieties and the varietal equivalence problem are 2EXPTIME complete as well, answering the question of Bergman and Slutzki from 2000." . . . . . "2exptime; complete; varietal; membership; problem"@en . "1"^^ . . "Kozik, Marcin" . "A 2exptime complete varietal membership problem"@en . "1"^^ . . "[3D66BC1057B0]" . "RIV/00216208:11320/09:00207340" . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" .