The following pages link to (Q4530231):
Displaying 50 items.
- A lattice-based approach to the problem of recruitment in multiagent systems (Q2857290) (← links)
- Distributive Lattice-Structured Ontologies (Q2888493) (← links)
- Linear Equations for the Number of Intervals Which are Isomorphic with Boolean Lattices and the Dehn–Sommerville Equations (Q2902252) (← links)
- Probabilistic operational semantics for the lambda calculus (Q2905328) (← links)
- Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings (Q2915144) (← links)
- Relational Representation Theorem for Powerset Quantales (Q2915145) (← links)
- Observer-based control of block-triangular discrete time hybrid automata on a partial order (Q2928287) (← links)
- Equational Properties of Stratified Least Fixed Points (Extended Abstract) (Q2947468) (← links)
- Pseudo-uninorms and Atanassov’s intuitionistic pseudo-uninorms (Q2953510) (← links)
- Automatic Concepts and Automata-Theoretic Semantics for the Full Lambek Calculus (Q2964014) (← links)
- On conditions for semirings to induce compact information algebras (Q2971114) (← links)
- Activating Generalized Fuzzy Implications from Galois Connections (Q2974682) (← links)
- Fuzzy cut-stable map and its extension property1 (Q2987927) (← links)
- Algebraic structures related to nilpotent minimum algebras and rough sets1 (Q2988475) (← links)
- Observed Communication Semantics for Classical Processes (Q2988633) (← links)
- Domain Equations Based on Sets with Families of Pre-orders (Q2994482) (← links)
- On Rough Concept Lattices (Q2994483) (← links)
- Merging Ordered Sets (Q3003417) (← links)
- CANONICITY RESULTS OF SUBSTRUCTURAL AND LATTICE-BASED LOGICS (Q3005995) (← links)
- Fuzzy closure systems on<i>L</i>-ordered sets (Q3008058) (← links)
- Pseudo-polynomial Functions over Finite Distributive Lattices (Q3011973) (← links)
- Web Services and Incerta Spiriti: A Game Theoretic Approach to Uncertainty (Q3011982) (← links)
- On interval valued (α,β)—fuzzy hyperideals of hyperlattices (Q3089102) (← links)
- Complexity Issues for Preorders on Finite Labeled Forests (Q3091446) (← links)
- (Q3121528) (← links)
- An Algorithmic Approach to Lattices and Order in Dynamics (Q3176275) (← links)
- Constrained Connectivity and Transition Regions (Q3183496) (← links)
- COMPATIBILITY OPERATORS IN ABSTRACT ALGEBRAIC LOGIC (Q3188323) (← links)
- FULL LAMBEK CALCULUS WITH CONTRACTION IS UNDECIDABLE (Q3188328) (← links)
- Birelator Spaces Are Natural Generalizations of Not Only Bitopological Spaces, But Also Ideal Topological Spaces (Q3295045) (← links)
- Well-Quasi Orders and Hierarchy Theory (Q3295154) (← links)
- Injective envelopes of transition systems and Ferrers languages (Q3298124) (← links)
- The Lattice of U-Sequences of an Abelian p-Group (Q3298268) (← links)
- Algebraic Semantics for Hybrid Logics (Q3298278) (← links)
- Algebraic Methods for Granular Rough Sets (Q3299868) (← links)
- Irredundant Coverings, Tolerances, and Related Algebras (Q3299870) (← links)
- Antichain Based Semantics for Rough Sets (Q3300367) (← links)
- Probabilistic Interpretations of Predicates (Q3305429) (← links)
- Truth, Proof, and Reproducibility: There’s No Counter-Attack for the Codeless (Q3305493) (← links)
- About Truth and Types (Q3305551) (← links)
- (Q3381922) (← links)
- (Q3384065) (← links)
- (Q3385648) (← links)
- From Meaningful Orderings in the Web of Data to Multi-level Pattern Structures (Q3388221) (← links)
- (Q3391046) (← links)
- Changing a Semantics: Opportunism or Courage? (Q3454820) (← links)
- Duality and Universal Models for the Meet-Implication Fragment of IPC (Q3455183) (← links)
- Probabilistic Epistemic Updates on Algebras (Q3457689) (← links)
- ‘Transitivity’ of Consequence Relations (Q3457716) (← links)
- Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)
