Pages that link to "Item:Q1327385"
From MaRDI portal
The following pages link to A completeness theorem for Kleene algebras and the algebra of regular events (Q1327385):
Displaying 50 items.
- Second-order properties of undirected graphs (Q2695354) (← links)
- Relation-algebraic verification of Borůvka's minimum spanning tree algorithm (Q2695356) (← links)
- On algebra of program correctness and incorrectness (Q2695364) (← links)
- On tools for completeness of Kleene algebra with hypotheses (Q2695367) (← links)
- Constructing the Views Framework (Q2814615) (← links)
- Induction, coinduction, and adjoints (Q2842818) (← links)
- Conway and iteration hemirings. I. (Q2876612) (← links)
- Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474) (← links)
- Some modal aspects of XPath (Q2901192) (← links)
- The Laws of Programming Unify Process Calculi (Q2908555) (← links)
- Transitive Separation Logic (Q2915132) (← links)
- Unifying Lazy and Strict Computations (Q2915133) (← 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)
- Left-Handed Completeness (Q2915142) (← links)
- On Completeness of Omega-Regular Algebras (Q2915143) (← links)
- Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview (Q2946322) (← links)
- Synthesis of Strategies Using the Hoare Logic of Angelic and Demonic Nondeterminism (Q2974777) (← links)
- Equational Theories of Abnormal Termination Based on Kleene Algebra (Q2988362) (← links)
- Closures in Binary Partial Algebras (Q2994476) (← links)
- POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS (Q3006000) (← links)
- Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra (Q3067464) (← links)
- Partial Derivative Automata Formalized in Coq (Q3073622) (← links)
- Simulations of Weighted Tree Automata (Q3073652) (← links)
- On Locality and the Exchange Law for Concurrent Processes (Q3090834) (← links)
- Partial Conway and Iteration Semiring-Semimodule Pairs (Q3098033) (← links)
- Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm (Q3179390) (← links)
- Concurrent Kleene Algebra (Q3184688) (← links)
- THE CATEGORY OF SIMULATIONS FOR WEIGHTED TREE AUTOMATA (Q3224952) (← links)
- On the Coalgebraic Theory of Kleene Algebra with Tests (Q3299849) (← links)
- On the positive calculus of relations with transitive closure (Q3304097) (← links)
- String-Matching and Alignment Algorithms for Finding Motifs in NGS Data (Q3305534) (← links)
- ANTIMIROV AND MOSSES'S REWRITE SYSTEM REVISITED (Q3395137) (← links)
- *-Continuous Kleene $$\omega $$-Algebras (Q3451106) (← links)
- Algebra Unifies Operational Calculi (Q3455645) (← links)
- Latest News about Demonic Algebra with Domain (Q3498405) (← links)
- On the Structure of Demonic Refinement Algebras with Enabledness and Termination (Q3498406) (← links)
- Non-termination in Idempotent Semirings (Q3498415) (← links)
- Solving Linear Equations in *-continuous Action Lattices (Q3498422) (← links)
- Knowledge and Games in Modal Semirings (Q3498424) (← links)
- Automatic Proof Generation in Kleene Algebra (Q3498428) (← links)
- Circulations, Fuzzy Relations and Semirings (Q3521984) (← links)
- Modal Semirings Revisited (Q3521996) (← links)
- Iteration Semirings (Q3532996) (← links)
- Run-Time Monitoring of Electronic Contracts (Q3540088) (← links)
- Antimirov and Mosses’s Rewrite System Revisited (Q3602800) (← links)
- A Bialgebraic Approach to Automata and Formal Language Theory (Q3605547) (← links)
- A Hierarchical Completeness Proof for Propositional Interval Temporal Logic with Finite Time (Q3643267) (← links)
- KAT-ML: an interactive theorem prover for Kleene algebra with tests (Q3647254) (← links)
