ℹ️
🇬🇧
Search
Search for people relevant for "Datalog"
Datalog
Person
Class
Person
Publication
Programmes
RNDr. Alexandr Kazda Ph.D.
External academic staff at Faculty of Mathematics and Physics
20 publications
Publications
publication
n-PERMUTABILITY AND LINEAR DATALOG IMPLIES SYMMETRIC DATALOG
2018 |
Faculty of Mathematics and Physics
publication
Local-global property for G-invariant terms
2022 |
Faculty of Mathematics and Physics
publication
SMALL PROMISE CSPS THAT REDUCE TO LARGE CSPS
2022 |
Faculty of Mathematics and Physics
publication
Deciding the Existence of Quasi Weak Near Unanimity Terms in Finite Algebras
2021 |
Faculty of Mathematics and Physics
publication
Existence of cube terms in finite algebras
2021 |
Faculty of Mathematics and Physics
publication
Deciding the Existence of Minority Terms
2020 |
Faculty of Mathematics and Physics
publication
Deciding some Maltsev conditions in finite idempotent algebras
2020 |
Faculty of Mathematics and Physics
publication
Taylor term does not imply any nontrivial linear one-equality Maltsev condition
2019 |
Faculty of Mathematics and Physics
publication
Even Delta-Matroids and the Complexity of Planar Boolean CSPs
2019 |
Faculty of Mathematics and Physics
publication
Deciding absorption
2016 |
Faculty of Mathematics and Physics
Load more publications (10)
Loading network view...