The following pages link to (Q4530231):
Displaying 50 items.
- Cut sets as recognizable tree languages (Q2493984) (← links)
- Computing coproducts of finitely presented Gödel algebras (Q2503401) (← links)
- Unification and projectivity in De Morgan and Kleene algebras. (Q2510377) (← links)
- Canonical extensions and profinite completions of semilattices and lattices (Q2510378) (← links)
- Lattice classification by cut-through coding. (Q2510382) (← links)
- Lattice structures for attractors. I (Q2513919) (← links)
- A characterization of the concept of independence in knowledge structures (Q2517778) (← links)
- Policy iteration in finite templates domain (Q2520672) (← links)
- Embedding ordered sets into distributive lattices (Q2520717) (← links)
- A note on Hilbert algebras and their related generalized Esakia spaces (Q2520718) (← links)
- Decision-making with Sugeno integrals. Bridging the gap between multicriteria evaluation and decision under uncertainty (Q2520723) (← links)
- Algebras of incidence structures: representations of regular double p-algebras (Q2520767) (← links)
- The lattice-theoretic structure of sets of bivariate copulas and quasi-copulas (Q2574135) (← links)
- Duality, non-standard elements, and dynamic properties of r.e. sets (Q2630829) (← links)
- Similarity-based minimization of fuzzy tree automata (Q2634346) (← links)
- Topological categories, quantaloids and Isbell adjunctions (Q2634700) (← links)
- A universal algebraic approach for conditional independence (Q2634807) (← links)
- Orders and lattices. Basics, approaches and applications (Q2637247) (← links)
- Complete congruences on topologies and down-set lattices (Q2642570) (← links)
- Boolean topological distributive lattices and canonical extensions (Q2643609) (← links)
- Residuated expansions of lattice-ordered structures (Q2658277) (← links)
- Bounded distributive lattices with two subordinations (Q2658281) (← links)
- Three roads to complete lattices: orders, compatibility, polarity (Q2663187) (← links)
- Right adjoint algebras versus operator left residuated posets (Q2670894) (← links)
- Restricted bi-pattern mining (Q2670900) (← links)
- A novel framework for lim-inf convergence in posets (Q2671555) (← links)
- On quotients of formal power series (Q2672254) (← links)
- Value iteration for simple stochastic games: stopping criterion and learning algorithm (Q2672267) (← links)
- Symmetric extended MS-algebras with the strong endomorphism kernel property (Q2674394) (← links)
- A non-distributive logic for semiconcepts and its modal extension with semantics based on Kripke contexts (Q2677854) (← links)
- One step is enough (Q2679573) (← links)
- Unitless Frobenius quantales (Q2680596) (← links)
- A general approach to extension-based semantics in abstract argumentation (Q2680804) (← links)
- On the membership problem for finite automata over symmetric groups (Q2685503) (← links)
- A theoretical look at \textsc{Electre Tri}-nB and related sorting models (Q2688878) (← links)
- Flat extensions of groups and limit varieties of additively idempotent semirings (Q2694733) (← links)
- Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343) (← links)
- Isolated sublattices and their application to counting closure operators (Q2695353) (← links)
- Computing distributed knowledge as the greatest lower bound of knowledge (Q2695370) (← links)
- Topological representation of double Boolean algebras (Q2697416) (← links)
- The categorical equivalence between domains and interpolative generalized closure spaces (Q2698278) (← links)
- Intuitionistic propositional logic with Galois negations (Q2699013) (← links)
- The Deeper Roles of Mathematics in Physical Laws (Q2798148) (← links)
- Normal hyperlattices and pure ideals of hyperlattices. (Q2806104) (← links)
- An Adaptive Sparse Grid Algorithm for Elliptic PDEs with Lognormal Diffusion Coefficient (Q2808024) (← links)
- Categories: How I Learned to Stop Worrying and Love Two Sorts (Q2820692) (← links)
- Dyck algebras, interval temporal logic, and posets of intervals (Q2827488) (← links)
- Ternary Equational Languages (Q2830209) (← links)
- A modular formal semantics for Ptolemy (Q2843863) (← links)
- Semantics for possibilistic disjunctive programs (Q2845121) (← links)
