The following pages link to (Q2784580):
Displaying 44 items.
- Testing list \(H\)-homomorphisms (Q347111) (← links)
- Totally symmetric functions are reconstructible from identification minors (Q405190) (← links)
- Galois theory for sets of operations closed under permutation, cylindrification, and composition (Q422339) (← links)
- Self-commuting lattice polynomial functions on chains (Q543287) (← links)
- A functional completeness theorem for De Morgan functions. (Q741709) (← links)
- Unsolid and fluid strong varieties of partial algebras (Q933857) (← links)
- Unary operations with long pre-periods (Q947823) (← links)
- The expressive power of valued constraints: Hierarchies and collapses (Q959827) (← links)
- Separation of clones of cooperations by cohyperidentities (Q1011714) (← links)
- Universal algebra and hardness results for constraint satisfaction problems (Q1014634) (← links)
- Pivotal decomposition schemes inducing clones of operations (Q1702140) (← links)
- Quasi-varieties: A special access (Q1770610) (← links)
- Associative spectra of graph algebras. I: Foundations, undirected graphs, antiassociative graphs (Q2038878) (← links)
- Logics of left variable inclusion and Płonka sums of matrices (Q2219088) (← links)
- Estimation of state complexity of combined operations (Q2271462) (← links)
- Multisorted tree-algebras for hierarchical resources allocation (Q2336951) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- Hypomorphic Sperner systems and non-reconstructible functions (Q2351723) (← links)
- Fuzzy tree automata (Q2372277) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
- Algebraic recognizability of regular tree languages (Q2484441) (← links)
- Mathematical fuzzy logic as a tool for the treatment of vague information (Q2568251) (← links)
- Semigroup properties of linear terms (Q2979781) (← links)
- (Q3100254) (← links)
- Hyper-pseudoformulas and M-solid ordered pseudovarieties (Q3118237) (← links)
- Necessary Conditions for Tractability of Valued CSPs (Q3455247) (← links)
- Mathematical Fuzzy Logics (Q3503741) (← links)
- The Expressive Power of Valued Constraints: Hierarchies and Collapses (Q3523088) (← links)
- Subdirectly irreducible separable dynamic algebras (Q3583808) (← links)
- Semigroups of linear tree languages (Q4562778) (← links)
- A generalized superposition of linear tree languages and products of linear tree languages (Q4578313) (← links)
- (Q4607754) (← links)
- Partial clones (Q4985585) (← links)
- Free power-slim groupoids (Q4985592) (← links)
- (Q5034203) (← links)
- (Q5061853) (← links)
- Semigroups of an inductive composition of terms (Q5064386) (← links)
- (Q5080621) (← links)
- Graph variety generated by linear terms (Q5193475) (← links)
- The semigroup of linear terms (Q5243692) (← links)
- Weak Separation Problem for Tree Languages (Q5859635) (← links)
- A Residuated Lattice of L-Fuzzy Subalgebras of a Mono-Unary Algebra (Q5874611) (← links)
- Algebras of left variable terms (Q6613146) (← links)
- Representations of superassociative algebras by commutative functions with different types (Q6650914) (← links)