Absorption and directed Jónsson terms. Zbl 1459.08005
Kazda, Alexandr; Kozik, Marcin; McKenzie, Ralph; Moore, Matthew |
|
2018
|
Maltsev digraphs have a majority polymorphism. Zbl 1214.05043
Kazda, Alexandr |
|
2011
|
Deciding some Maltsev conditions in finite idempotent algebras. Zbl 1497.08003
Kazda, Alexandr; Valeriote, Matt |
|
2020
|
Deciding the existence of minority terms. Zbl 1484.08007
Kazda, Alexandr; Opršal, Jakub; Valeriote, Matt; Zhuk, Dmitriy |
|
2020
|
Taylor term does not imply any nontrivial linear one-equality Maltsev condition. Zbl 1472.08007
Kazda, Alexandr |
|
2019
|
Deciding absorption. Zbl 1352.08006
Barto, Libor; Kazda, Alexandr |
|
2016
|
\(n\)-permutability and linear Datalog implies symmetric Datalog. Zbl 1476.68107
Kazda, Alexandr |
|
2018
|
CSP for binary conservative relational structures. Zbl 1356.08001
Kazda, Alexandr |
|
2016
|
Even delta-matroids and the complexity of planar Boolean CSPs. Zbl 1410.68170
Kazda, Alexandr; Kolmogorov, Vladimir; Rolínek, Michal |
|
2017
|
Existence of cube terms in finite algebras. Zbl 1498.08006
Kazda, Alexandr; Zhuk, Dmitriy |
|
2021
|
The word problem for free adequate semigroups. Zbl 1307.20046
Kambites, Mark; Kazda, Alexandr |
|
2014
|
Möbius number systems based on interval covers. Zbl 1209.37010
Kůrka, Petr; Kazda, Alexandr |
|
2010
|
The chain relation in sofic subshifts. Zbl 1151.37014
Kazda, Alexandr |
|
2008
|
Convergence in Möbius number systems. Zbl 1196.37022
Kazda, Alexandr |
|
2009
|
Complexity of the homomorphism extension problem in the random case. Zbl 1286.68198
Kazda, Alexandr |
|
2013
|
Deciding the existence of quasiweak near unanimity terms in finite algebras. Zbl 1529.08023
Kazda, Alexandr |
|
2021
|
Representing real numbers in Möbius number systems. Zbl 1479.37014
Kazda, Alexandr; Kùrka, Petr |
|
2009
|
Existence of cube terms in finite algebras. Zbl 1498.08006
Kazda, Alexandr; Zhuk, Dmitriy |
|
2021
|
Deciding the existence of quasiweak near unanimity terms in finite algebras. Zbl 1529.08023
Kazda, Alexandr |
|
2021
|
Deciding some Maltsev conditions in finite idempotent algebras. Zbl 1497.08003
Kazda, Alexandr; Valeriote, Matt |
|
2020
|
Deciding the existence of minority terms. Zbl 1484.08007
Kazda, Alexandr; Opršal, Jakub; Valeriote, Matt; Zhuk, Dmitriy |
|
2020
|
Taylor term does not imply any nontrivial linear one-equality Maltsev condition. Zbl 1472.08007
Kazda, Alexandr |
|
2019
|
Absorption and directed Jónsson terms. Zbl 1459.08005
Kazda, Alexandr; Kozik, Marcin; McKenzie, Ralph; Moore, Matthew |
|
2018
|
\(n\)-permutability and linear Datalog implies symmetric Datalog. Zbl 1476.68107
Kazda, Alexandr |
|
2018
|
Even delta-matroids and the complexity of planar Boolean CSPs. Zbl 1410.68170
Kazda, Alexandr; Kolmogorov, Vladimir; Rolínek, Michal |
|
2017
|
Deciding absorption. Zbl 1352.08006
Barto, Libor; Kazda, Alexandr |
|
2016
|
CSP for binary conservative relational structures. Zbl 1356.08001
Kazda, Alexandr |
|
2016
|
The word problem for free adequate semigroups. Zbl 1307.20046
Kambites, Mark; Kazda, Alexandr |
|
2014
|
Complexity of the homomorphism extension problem in the random case. Zbl 1286.68198
Kazda, Alexandr |
|
2013
|
Maltsev digraphs have a majority polymorphism. Zbl 1214.05043
Kazda, Alexandr |
|
2011
|
Möbius number systems based on interval covers. Zbl 1209.37010
Kůrka, Petr; Kazda, Alexandr |
|
2010
|
Convergence in Möbius number systems. Zbl 1196.37022
Kazda, Alexandr |
|
2009
|
Representing real numbers in Möbius number systems. Zbl 1479.37014
Kazda, Alexandr; Kùrka, Petr |
|
2009
|
The chain relation in sofic subshifts. Zbl 1151.37014
Kazda, Alexandr |
|
2008
|