The following pages link to (Q5613923):
Displayed 47 items.
- A short introduction to clones. (Q280194) (← links)
- Galois theory for clones and superclones (Q314226) (← links)
- Strong partial clones and the time complexity of SAT problems (Q340559) (← links)
- Testing list \(H\)-homomorphisms (Q347111) (← links)
- The lower neighborhoods problem in a space with closure and a finitary theorem (Q646861) (← links)
- On the expression complexity of equivalence and isomorphism of primitive positive formulas (Q692919) (← links)
- On Boolean primitive positive clones (Q932583) (← links)
- Extendable local partial clones (Q932624) (← links)
- Formalization of algorithmic knowledge of object domains in terms of the algebra of algorithmics (Q941187) (← links)
- Affine systems of equations and counting infinitary logic (Q1014638) (← links)
- On sparse graphs with given colorings and homomorphisms. (Q1425116) (← links)
- Galois connection for multiple-output operations (Q1652848) (← links)
- Unique inclusions of maximal C-clones in maximal clones (Q1652863) (← links)
- On the complexity of \(\mathbb{H}\)-coloring for special oriented trees (Q1686250) (← links)
- The cardinality of the set of all clones containing a given minimal clone on three elements (Q1935019) (← links)
- On finitely related semigroups. (Q1955601) (← links)
- Continuality of classes of functions in multivalued logic with minimal logarithmic growth rate (Q2088719) (← links)
- Galois theory for finite algebras of operations and multioperations of rank 2 (Q2272892) (← links)
- On some implicitly precomplete classes of monotone functions in \(P_k\) (Q2295974) (← links)
- The size of generating sets of powers (Q2318479) (← links)
- Existence of finite total equivalence systems for certain closed classes of 3-valued logic functions (Q2342799) (← links)
- Deciding absorption in relational structures (Q2407970) (← links)
- The completeness problem in partial hyperclones (Q2497478) (← links)
- Robustly Solvable Constraint Satisfaction Problems (Q2817797) (← links)
- Стабилизаторы некоторых семейств булевых функций от $n$ переменных, образующих Галуа-замкнутые подалгебры алгебры Шефера. II (Q3381898) (← links)
- Maximal subalgebras of algebras of partial multivalued logic functions (Q3900064) (← links)
- (Q4154615) (← links)
- A-classification of idempotent functions of many-valued logic (Q4947377) (← links)
- (Q4963136) (← links)
- (Q4993594) (← links)
- (Q4993595) (← links)
- Solving CSPs Using Weak Local Consistency (Q5009788) (← links)
- On selected developments in the theory of natural dualities (Q5129681) (← links)
- (Q5146088) (← links)
- (Q5146093) (← links)
- (Q5146112) (← links)
- (Q5146743) (← links)
- (Q5150399) (← links)
- (Q5150585) (← links)
- Классы Шефера, классы Поста и соответствия Галуа (Q5152379) (← links)
- Стабилизаторы некоторых семейств булевых функций, образующих Галуа-замкнутые подалгебры алгебры Шефера (Q5152408) (← links)
- Topological Birkhoff (Q5496670) (← links)
- All centralising monoids with majority witnesses on a four-element set (Q5863851) (← links)
- \(A\)-closed classes of idempotent functions of many-valued logic definable by binary relations (Q5954092) (← links)
- Galois theory for analogical classifiers (Q6150958) (← links)
- Reduction theorems in the social choice theory (Q6174465) (← links)
- Generalized quasiorders and the Galois connection End-gQuord (Q6203758) (← links)