Pages that link to "Item:Q3498401"

The following pages link to Relations and Kleene Algebra in Computer Science (Q3498401):

Displaying 50 items.

• Boolean Logics with Relations (Q3498402) (← links)
• Relation Algebra and RelView in Practical Use: Construction of Special University Timetables (Q3498403) (← links)
• A Relation Algebraic Semantics for a Lazy Functional Logic Language (Q3498404) (← links)
• Latest News about Demonic Algebra with Domain (Q3498405) (← links)
• On the Structure of Demonic Refinement Algebras with Enabledness and Termination (Q3498406) (← links)
• Multi-objective Problems in Terms of Relational Algebra (Q3498407) (← links)
• The Lattice of Contact Relations on a Boolean Algebra (Q3498408) (← links)
• A Non-probabilistic Relational Model of Probabilistic Kleene Algebras (Q3498409) (← links)
• Increasing Bisemigroups and Algebraic Routing (Q3498410) (← links)
• Lazy Relations (Q3498411) (← links)
• The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy (Q3498412) (← links)
• The Algebraic Approach II: Dioids, Quantales and Monads (Q3498413) (← links)
• Automated Reasoning for Hybrid Systems — Two Case Studies — (Q3498414) (← links)
• Non-termination in Idempotent Semirings (Q3498415) (← links)
• Formal Concepts in Dedekind Categories (Q3498416) (← links)
• The Structure of the One-Generated Free Domain Semiring (Q3498417) (← links)
• Determinisation of Relational Substitutions in Ordered Categories with Domain (Q3498418) (← links)
• Boolean Algebras and Stone Maps in Schröder Categories (Q3498419) (← links)
• Cardinality in Allegories (Q3498420) (← links)
• Solving Linear Equations in *-continuous Action Lattices (Q3498422) (← links)
• Reactive Probabilistic Programs and Refinement Algebra (Q3498423) (← links)
• Knowledge and Games in Modal Semirings (Q3498424) (← links)
• Theorem Proving Modulo Based on Boolean Equational Procedures (Q3498425) (← links)
• Rectangles, Fringes, and Inverses (Q3498426) (← links)
• An Ordered Category of Processes (Q3498427) (← links)
• Automatic Proof Generation in Kleene Algebra (Q3498428) (← links)
• Knowledge and Structure in Social Algorithms (Q3651503) (← links)
• Computational Social Choice Using Relation Algebra and RelView (Q3651504) (← links)
• A Model of Internet Routing Using Semi-modules (Q3651506) (← links)
• Visibly Pushdown Kleene Algebra and Its Use in Interprocedural Analysis of (Mutually) Recursive Programs (Q3651507) (← links)
• Towards Algebraic Separation Logic (Q3651508) (← links)
• Domain and Antidomain Semigroups (Q3651509) (← links)
• Composing Partially Ordered Monads (Q3651510) (← links)
• A Relation-Algebraic Approach to Liveness of Place/Transition Nets (Q3651511) (← links)
• ∗-Continuous Idempotent Left Semirings and Their Ideal Completion (Q3651512) (← links)
• A Semiring Approach to Equivalences, Bisimulations and Control (Q3651513) (← links)
• General Correctness Algebra (Q3651514) (← links)
• Foundations of Concurrent Kleene Algebra (Q3651515) (← links)
• Armstrong’s Inference Rules in Dedekind Categories (Q3651516) (← links)
• Data Mining, Reasoning and Incremental Information Retrieval through Non Enlargeable Rectangular Relation Coverage (Q3651517) (← links)
• Collagories for Relational Adhesive Rewriting (Q3651518) (← links)
• Cardinal Addition in Distributive Allegories (Q3651519) (← links)
• Relational Methods in the Analysis of While Loops: Observations of Versatility (Q3651520) (← links)
• Modalities, Relations, and Learning (Q3651521) (← links)
• The Cube of Kleene Algebras and the Triangular Prism of Multirelations (Q3651522) (← links)
• Discrete Duality for Relation Algebras and Cylindric Algebras (Q3651523) (← links)
• Contact Relations with Applications (Q3651524) (← links)
• A While Program Normal Form Theorem in Total Correctness (Q3651525) (← links)
• Complements in Distributive Allegories (Q3651526) (← links)
• On the Skeleton of Stonian p-Ortholattices (Q3651527) (← links)