The following pages link to (Q4692885):
Displaying 50 items.
- On a quasi-ordering on Boolean functions (Q924135) (← links)
- Applying relation algebra and RelView to solve problems on orders and lattices (Q929300) (← links)
- Parametric \(\lambda \)-theories (Q930867) (← links)
- Algebraic reasoning for probabilistic action systems and while-loops (Q938297) (← links)
- The poset structures admitting the extended binary Golay code to be a perfect code (Q941330) (← links)
- Forbidden retracts for finite ordered sets of width at most four (Q952633) (← links)
- CPO semantics of timed interactive actor networks (Q959824) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Representation insensitivity in immediate prediction under exchangeability (Q962847) (← links)
- On the random generation of monotone data sets (Q963446) (← links)
- The lattice of embedded subsets (Q968166) (← links)
- The Hausdorff fuzzy quasi-metric (Q968925) (← links)
- Myhill-Nerode type theory for fuzzy languages and automata (Q969583) (← links)
- The multiple facets of the canonical direct unit implicational basis (Q974107) (← links)
- The axiomatization of override and update (Q975885) (← links)
- Quantum logic in dagger kernel categories (Q981683) (← links)
- On lattice valued up-sets and down-sets (Q983040) (← links)
- Dual unbounded nondeterminacy, recursion, and fixpoints (Q995749) (← links)
- Fuzzy lattice reasoning (FLR) classifier and its application for ambient ozone estimation (Q997040) (← links)
- Ideals in ordered sets, a unifying approach (Q997537) (← links)
- Construction of some uncountable 2-arc-transitive bipartite graphs (Q1013993) (← links)
- Rough concept lattices and domains (Q1023298) (← links)
- The lattice of integer partitions and its infinite extension (Q1024442) (← links)
- New work for Carnap's quasi-analysis (Q1025577) (← links)
- A Priestley sum of finite trees is acyclic (Q1029607) (← links)
- Ordinal decompositions for preordered root systems (Q1035655) (← links)
- Cryptographically-enforced hierarchical access control with multiple keys (Q1035675) (← links)
- Subjective spacetime derived from a causal histories approach (Q1036752) (← links)
- Fuzzy complete lattices (Q1040912) (← links)
- The Dedekind-MacNeille completions for fuzzy posets (Q1040913) (← links)
- On verifying and engineering the wellgradedness of a union-closed family (Q1042303) (← links)
- \(\mathcal{MOQA}\); unlocking the potential of compositional static average-case analysis (Q1044673) (← links)
- The quotient of an abstract interpretation (Q1128983) (← links)
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- On the structure of certain po-semigroups (Q1185774) (← links)
- Semantic networks (Q1202620) (← links)
- Completing sort hierarchies (Q1202662) (← links)
- Concept lattices and conceptual knowledge systems (Q1202663) (← links)
- The lattice of distributive closure operators over an algebra (Q1208109) (← links)
- Normal linear regression models with recursive graphical Markov structure (Q1268015) (← links)
- Representation of computations in concurrent automata by dependence orders (Q1269906) (← links)
- Matroids on partially ordered sets (Q1271880) (← links)
- Operational and denotational semantics for the box algebra (Q1274445) (← links)
- Axiomatisation of functional dependencies in incomplete relations (Q1274978) (← links)
- A useful fixpoint theorem (Q1275737) (← links)
- Diagram rules for the generation of Schubert polynomials (Q1284466) (← links)
- A behavioural theory of first-order CML (Q1285654) (← links)
- Confidence relations and ordinal information (Q1291569) (← links)
- Properly injective spaces and function spaces (Q1295213) (← links)
- Computation on metric spaces via domain theory (Q1295303) (← links)
