"CSP; and; Varieties; Taylor; for; Conditions; New"@en . . "New Conditions for Taylor Varieties and CSP"@en . "2"^^ . . "We provide two new characterizations for finitely generated varieties with Taylor terms. The first characterization is using %22absorbing sets%22 and the second one %22cyclic operations%22. These new conditions allow us to reprove the conjecture of Bang-Jensen and Hell and the characterization of locally finite Taylor varieties using weak near-unanimity operations in an elementary and self-contained way."@en . "2010-07-11+02:00"^^ . . "10"^^ . "1"^^ . "1043-6871" . . . . . . "New Conditions for Taylor Varieties and CSP" . . "[6AC6E5129B6D]" . "Barto, Libor" . . "RIV/00216208:11320/10:10051826!RIV11-GA0-11320___" . . "IEEE Computer Society" . . . . "RIV/00216208:11320/10:10051826" . "11320" . . "P(GP201/09/P223), P(LC505), Z(MSM0021620839)" . "We provide two new characterizations for finitely generated varieties with Taylor terms. The first characterization is using %22absorbing sets%22 and the second one %22cyclic operations%22. These new conditions allow us to reprove the conjecture of Bang-Jensen and Hell and the characterization of locally finite Taylor varieties using weak near-unanimity operations in an elementary and self-contained way." . . . . "New Conditions for Taylor Varieties and CSP"@en . . "Proceedings of 25th IEEE Symposium on Logic in Computer Science (LICS?10) 11-14 July, 2010 Edinburgh" . . . . "Kozik, Marcin" . "Edinburgh, Scotland, U.K." . "Velk\u00E1 Brit\u00E1nie" . "New Conditions for Taylor Varieties and CSP" . "274650" . . "978-0-7695-4114-3" .