Pages that link to "Item:Q5845380"
From MaRDI portal
The following pages link to The Two-Valued Iterative Systems of Mathematical Logic. (AM-5) (Q5845380):
Displayed 26 items.
- An Algebraic Characterization of Testable Boolean CSPs (Q5326555) (← links)
- Equational closure (Q5491213) (← links)
- Basics of Galois Connections (Q5504699) (← links)
- Completeness in Finite Algebras with a Single Operation (Q5538980) (← links)
- (Q5547626) (← links)
- The algebra of multiplace vector-valued functions (Q5620605) (← links)
- Réalisation des fonctions definies dans un ensemble fini à l'aide des organes élémentairesd'entrée-sortie (Q5626528) (← links)
- Identities in Two-Valued Calculi (Q5806804) (← links)
- (Q5863607) (← links)
- (Q5863854) (← links)
- Constraint Satisfaction Problems with Global Modular Constraints: Algorithms and Hardness via Polynomial Representations (Q5864666) (← links)
- The Complexity of Network Satisfaction Problems for Symmetric Relation Algebras with a Flexible Atom (Q5870532) (← links)
- Generalized satisfiability problems via operator assignments (Q5919560) (← links)
- Homeomorphism and the equivalence of logical systems (Q5937829) (← links)
- An algebraic characterization of tractable constraints (Q6085763) (← links)
- Visualizing polymorphisms and counter-polymorphisms in S5 modal logic (Q6108755) (← links)
- Parameterized Complexity of Logic-based Argumentation in Schaefer’s Framework (Q6116364) (← links)
- The lattice of clones of self-dual operations collapsed (Q6116396) (← links)
- Constraint satisfaction problem: what makes the problem easy (Q6119674) (← links)
- Closed classes in the functional system of polynomials with real coefficients (Q6153738) (← links)
- (Q6153804) (← links)
- On bases of all closed classes of Boolean vector functions (Q6169627) (← links)
- Reduction theorems in the social choice theory (Q6174465) (← links)
- Majority-closed minions of Boolean functions (Q6183439) (← links)
- Definability of Boolean functions in Kripke semantics (Q6187418) (← links)
- Submaximal clones over a three-element set up to minor-equivalence (Q6203757) (← links)