The following pages link to (Q4530231):
Displaying 50 items.
- Structure and enumeration results of matchable Lucas cubes (Q2306606) (← links)
- Deciding probabilistic bisimilarity distance one for probabilistic automata (Q2306848) (← links)
- Difference hierarchies and duality with an application to formal languages (Q2310785) (← links)
- On two alternative axiomatizations of lattices by McKenzie and Sholander (Q2311528) (← links)
- Lattice-equivalence of convex spaces (Q2311873) (← links)
- The free distributive semilattice extension of a distributive poset (Q2314428) (← links)
- On hyperlattices: congruence relations, ideals and homomorphism (Q2315545) (← links)
- Arithmetic and \(k\)-maximality of the cyclic free magma (Q2317377) (← links)
- Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids (Q2317378) (← links)
- The embedding of annihilating-ideal graphs associated to lattices in the projective plane (Q2317940) (← links)
- A lattice isomorphism theorem for cluster groups of mutation-Dynkin type \(A_{n}\) (Q2318364) (← links)
- The sum of observables on a \(\sigma\)-distributive lattice effect algebra (Q2318560) (← links)
- Analogy between concepts (Q2321339) (← links)
- The number of clones determined by disjunctions of unary relations (Q2322711) (← links)
- A study of the quasi covering dimension of finite lattices (Q2322752) (← links)
- Supercover semantics for deontic action logic (Q2322983) (← links)
- A Galois connection related to restrictions of continuous real functions (Q2324525) (← links)
- A comparison framework for interleaved persistence modules (Q2324604) (← links)
- On the lattice structure of the set of supermodular quasi-copulas (Q2328792) (← links)
- Left- and right-compatibility of order relations and fuzzy tolerance relations (Q2328897) (← links)
- Interpolation by lattice polynomial functions: a polynomial time algorithm (Q2328949) (← links)
- Characterization of metrizable Esakia spaces via some forbidden configurations (Q2329305) (← links)
- Distributive laws for monotone specifications (Q2329307) (← links)
- The problem of dispersion-free probabilities in Gleason-type theorems for a two-dimensional Hilbert space (Q2329959) (← links)
- Logical and geometrical distance in polyhedral Aristotelian diagrams in knowledge representation (Q2333411) (← links)
- Proper multi-type display calculi for rough algebras (Q2333670) (← links)
- A completion for distributive nearlattices (Q2334607) (← links)
- A study of a covering dimension of finite lattices (Q2335133) (← links)
- On A neglected path to intuitionism (Q2339011) (← links)
- A study of covering dimension for the class of finite lattices. (Q2339426) (← links)
- A Motzkin filter in the Tamari lattice (Q2342623) (← links)
- Distributive bilattices from the perspective of natural duality theory. (Q2343033) (← links)
- Generic flux coupling analysis (Q2344588) (← links)
- Modalities for an allegorical conceptual data model (Q2345053) (← links)
- Weak \(n\)-ary relational products in allegories (Q2345058) (← links)
- Dual Euclidean Artin groups and the failure of the lattice property. (Q2346464) (← links)
- Denotational fixed-point semantics for constructive scheduling of synchronous concurrency (Q2350494) (← links)
- Moore systems and Moore convergence classes of families of nets (Q2350690) (← links)
- On heterogeneous formal contexts (Q2351569) (← links)
- Pseudo-polynomial functions over finite distributive lattices (Q2351605) (← links)
- A new way to extend t-norms, t-conorms and negations (Q2351613) (← links)
- On the extension of lattice-valued implications via retractions (Q2351617) (← links)
- Differential information in large games with strategic complementarities (Q2351713) (← links)
- A proof of Tarski's fixed point theorem by application of Galois connections (Q2352455) (← links)
- On some semi-intuitionistic logics (Q2352456) (← links)
- The lattice structure of the S-Lorenz core (Q2353262) (← links)
- Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. (Q2353687) (← links)
- A categorical representation of algebraic domains based on variations of rough approximable concepts (Q2353995) (← links)
- A geometric study of cores of idempotent stochastic matrices (Q2359560) (← links)
- On neutrosophic soft lattices (Q2361519) (← links)
