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.
- Complete algebraic solution of multidimensional optimization problems in tropical semifield (Q1648644) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← links)
- Foundations of Coloring Algebra with Consequences for Feature-Oriented Programming (Q2915134) (← links)
- Towards an Algebra for Real-Time Programs (Q2915135) (← links)
- Automated Reasoning in Higher-Order Regular Algebra (Q2915136) (← links)
- Towards Certifiable Implementation of Graph Transformation via Relation Categories (Q2915137) (← links)
- Deciding Regular Expressions (In-)Equivalence in Coq (Q2915138) (← links)
- Simple Rectangle-Based Functional Programs for Computing Reflexive-Transitive Closures (Q2915139) (← links)
- Using Relations to Develop a Haskell Program for Computing Maximum Bipartite Matchings (Q2915140) (← links)
- Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants (Q2915141) (← links)
- Left-Handed Completeness (Q2915142) (← links)
- On Completeness of Omega-Regular Algebras (Q2915143) (← links)
- Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings (Q2915144) (← links)
- Relational Representation Theorem for Powerset Quantales (Q2915145) (← links)
- Point Axioms in Dedekind Categories (Q2915146) (← links)
- Two Observations in Dioid Based Model Refinement (Q2915147) (← links)
- Relation Algebras, Matrices, and Multi-valued Decision Diagrams (Q2915148) (← links)
- Incremental Pseudo Rectangular Organization of Information Relative to a Domain (Q2915149) (← links)
- Relational Concepts in Social Choice (Q2915150) (← links)
- An Algebra of Layered Complex Preferences (Q2915151) (← links)
- Continuous Relations and Richardson’s Theorem (Q2915152) (← links)
- Relations on Hypergraphs (Q2915153) (← links)
- Extension Properties of Boolean Contact Algebras (Q2915154) (← links)
- Building Structured Theories (Q3007564) (← links)
- Social Networks: Prestige, Centrality, and Influence (Q3007565) (← links)
- Synthesising Terminating Tableau Calculi for Relational Logics (Q3007566) (← links)
- Automated Engineering of Relational and Algebraic Methods in Isabelle/HOL (Q3007567) (← links)
- Relation Algebraic Approaches to Fuzzy Relations (Q3007568) (← links)
- A First-Order Calculus for Allegories (Q3007570) (← links)
- Relational Modelling and Solution of Chessboard Problems (Q3007571) (← links)
- A Functional, Successor List Based Version of Warshall’s Algorithm with Applications (Q3007572) (← links)
- Variable Side Conditions and Greatest Relations in Algebraic Separation Logic (Q3007573) (← links)
- An Algebraic Approach to Preference Relations (Q3007574) (← links)
- Relational and Multirelational Representation Theorems for Complete Idempotent Left Semirings (Q3007575) (← links)
- Using Bisimulations for Optimality Problems in Model Refinement (Q3007576) (← links)
- Pathfinding through Congruences (Q3007577) (← links)
- Towards a Typed Omega Algebra (Q3007578) (← links)
- Towards an Algebra of Routing Tables (Q3007579) (← links)
- Dependently-Typed Formalisation of Relation-Algebraic Abstractions (Q3007580) (← links)
- Omega Algebras and Regular Equations (Q3007581) (← links)
- On Probabilistic Kleene Algebras, Automata and Simulations (Q3007582) (← links)
- Ampersand (Q3007584) (← links)
- Programming from Galois Connections (Q3007585) (← links)
- Constructions around Partialities (Q3007586) (← links)
- Splitting Atoms in Relational Algebras (Q3007587) (← links)
- Relational Heterogeneity Relaxed by Subtyping (Q3007588) (← links)
- A Quest for Kleene Algebra in 2 Dimensions (Q3460613) (← links)
- Connections between Relation Algebras and Cylindric Algebras (Q3460614) (← links)
- Towards a Probabilistic Interpretation of Game Logic (Q3460615) (← links)