The following pages link to (Q4692885):
Displaying 50 items.
- Nondeterministic semantics of compound diagrams (Q258605) (← links)
- Free and cofree acts of dcpo-monoids on directed complete posets. (Q262979) (← links)
- A new contribution to the fixed point theory in partial quasi-metric spaces and its applications to asymptotic complexity analysis of algorithms (Q266307) (← links)
- Safety and precision of spatial context models for autonomous systems (Q271722) (← links)
- Characterising E-projectives via co-monads (Q276429) (← links)
- Enriched categories and many-valued preorders: categorical, semantical, and topological perspectives (Q277330) (← links)
- Representation of lattices by fuzzy weak congruence relations (Q277569) (← links)
- On fixed point theory in topological posets, extended quasi-metric spaces and an application to asymptotic complexity of algorithms (Q288177) (← links)
- Analytic rules for mereology (Q300557) (← links)
- Pure strategy equilibrium in finite weakly unilaterally competitive games (Q328571) (← links)
- Robustness of interval-valued fuzzy inference triple I algorithms based on normalized Minkowski distance (Q347386) (← links)
- An analysis of the equational properties of the well-founded fixed point (Q347388) (← links)
- Recursive decomposition and bounds of the lattice of Moore co-families. (Q353309) (← links)
- \(L\)-fuzzy soft sets based on complete Boolean lattices (Q356201) (← links)
- More on fuzzy lattices (Q356273) (← links)
- Maximal contractions in Boolean algebras (Q362282) (← links)
- First-order logic formalisation of impossibility theorems in preference aggregation (Q373021) (← links)
- On the mereological structure of complex states of affairs (Q383031) (← links)
- Orthogonality and dimensionality (Q402332) (← links)
- Endomorphisms of finite regular Kleene lattices (Q412011) (← links)
- Generic local computation (Q414892) (← links)
- Multi-valued model checking games (Q414899) (← links)
- Limit theorems for a random directed slab graph (Q417081) (← links)
- On algebra of languages representable by vertex-labeled graphs (Q418730) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- On calculating residuated approximations (Q422342) (← links)
- Fine hierarchies via Priestley duality (Q424549) (← links)
- On lower and upper intension order relations by different cover concepts (Q433038) (← links)
- Robustness of interval-valued fuzzy inference (Q433101) (← links)
- The complexity of approximately counting stable matchings (Q441846) (← links)
- Soft rough approximation operators on a complete atomic Boolean lattice (Q459998) (← links)
- Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
- Heyting mereology as a framework for spatial reasoning (Q482328) (← links)
- The lattice of synchrony subspaces of a coupled cell network: characterization and computation algorithm (Q484442) (← links)
- Formal query systems on contexts and a representation of algebraic lattices (Q497110) (← links)
- On rough approximations via ideal (Q497624) (← links)
- Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)
- Generalized three-way decision models based on subset evaluation (Q518612) (← links)
- The restricted core of games on distributive lattices: how to share benefits in a hierarchy (Q532527) (← links)
- Finite retracts of Priestley spaces and sectional coproductivity (Q535095) (← links)
- Influence functions, followers and command games (Q536083) (← links)
- Lattice-valued modal propositional logic and its completeness (Q543066) (← links)
- Solving multi-metric network problems: an interplay between idempotent semiring rules (Q550649) (← links)
- General frames for relevant modal logics (Q558732) (← links)
- Tilings with trichromatic colored-edges triangles (Q596045) (← links)
- Domino tilings and related models: Space of configurations of domains with holes (Q596048) (← links)
- The complexity of embedding orders into small products of chains (Q603886) (← links)
- Distributive lattices, polyhedra, and generalized flows (Q607363) (← links)
- Hyperspaces of a weightable quasi-metric space: application to models in the theory of computation (Q614291) (← links)
- A generic topology library (Q632812) (← links)
