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 18 items.
- (Q4963133) (← links)
- (Q4963135) (← links)
- The Complexity of Satisfiability for Fragments of CTL and CTL⋆ (Q4982095) (← links)
- The Tractability of Model-checking for LTL: The Good, the Bad, and the Ugly Fragments (Q4982126) (← links)
- Meet-reducible submaximal clones determined by two central relations (Q5223094) (← links)
- Constraint Satisfaction Problems for Reducts of Homogeneous Graphs (Q5232325) (← links)
- A complete classification of equational classes of threshold functions included in clones (Q5247685) (← links)
- Aggregation of Votes with Multiple Positions on Each Issue (Q5283212) (← links)
- 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)
- Generalized satisfiability problems via operator assignments (Q5919560) (← links)
- Homeomorphism and the equivalence of logical systems (Q5937829) (← links)