Pages that link to "Item:Q2915131"
From MaRDI portal
The following pages link to Relational and Algebraic Methods in Computer Science (Q2915131):
Displayed 50 items.
- Completeness and Incompleteness in Nominal Kleene Algebra (Q3460616) (← links)
- Closure, Properties and Closure Properties of Multirelations (Q3460617) (← links)
- Relational Formalisations of Compositions and Liftings of Multirelations (Q3460618) (← links)
- Relations among Matrices over a Semiring (Q3460619) (← links)
- Completeness via Canonicity for Distributive Substructural Logics: A Coalgebraic Perspective (Q3460620) (← links)
- Generalised N-ary Relations and Allegories (Q3460621) (← links)
- Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets (Q3460623) (← links)
- Metaphorisms in Programming (Q3460624) (← links)
- Relational Mathematics for Relative Correctness (Q3460625) (← links)
- Encoding and Decoding in Refinement Algebra (Q3460626) (← links)
- Type Checking by Domain Analysis in Ampersand (Q3460627) (← links)
- Towards Interactive Verification of Programmable Logic Controllers Using Modal Kleene Algebra and KIV (Q3460629) (← links)
- Investigating and Computing Bipartitions with Algebraic Means (Q3460630) (← links)
- Tool-Based Verification of a Relational Vertex Coloring Program (Q3460631) (← links)
- L-Fuzzy Databases in Arrow Categories (Q3460634) (← links)
- Text Categorization Using Hyper Rectangular Keyword Extraction: Application to News Articles Classification (Q3460637) (← links)
- Solving a Tropical Optimization Problem via Matrix Sparsification (Q3460638) (← links)
- Towards Antichain Algebra (Q3460639) (← links)
- Decomposition of Database Preferences on the Power Set of the Domain (Q3460640) (← links)
- Roughness by Residuals (Q3460641) (← links)
- Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests (Q5098709) (← links)
- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem (Q5098710) (← links)
- Hardness of Network Satisfaction for Relation Algebras with Normal Representations (Q5098711) (← links)
- The $$\theta $$-Join as a Join with $$\theta $$ (Q5098712) (← links)
- Bisimilarity of Diagrams (Q5098713) (← links)
- Generating Posets Beyond N (Q5098715) (← links)
- Automated Algebraic Reasoning for Collections and Local Variables with Lenses (Q5098716) (← links)
- Weakening Relation Algebras and FL$$^2$$-algebras (Q5098717) (← links)
- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras (Q5098718) (← links)
- A Hierarchy of Algebras for Boolean Subsets (Q5098719) (← links)
- Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL (Q5098720) (← links)
- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory (Q5098721) (← links)
- Expressive Power and Succinctness of the Positive Calculus of Relations (Q5098722) (← links)
- Stone Dualities from Opfibrations (Q5098723) (← links)
- Preorders, Partial Semigroups, and Quantales (Q5098725) (← links)
- Counting and Computing Join-Endomorphisms in Lattices (Q5098726) (← links)
- A Unary Semigroup Trace Algebra (Q5098727) (← links)
- The Involutive Quantaloid of Completely Distributive Lattices (Q5098728) (← links)
- Computer-Supported Exploration of a Categorical Axiomatization of Modeloids (Q5098730) (← links)
- Sharpness in the Fuzzy World (Q5098731) (← links)
- Algebra for Quantitative Information Flow (Q5283199) (← links)
- Dual Space of a Lattice as the Completion of a Pervin Space (Q5283200) (← links)
- Relations as Images (Q5283202) (← links)
- Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces (Q5283203) (← links)
- Varieties of Cubical Sets (Q5283204) (← links)
- Non-associative Kleene Algebra and Temporal Logics (Q5283205) (← links)
- Algebraic Investigation of Connected Components (Q5283206) (← links)
- Stone Relation Algebras (Q5283207) (← links)
- Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras (Q5283208) (← links)
- Parsing and Printing of and with Triples (Q5283209) (← links)