DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Kleene algebra
Kleene algebra
Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests Damien Pous
On Kleene Algebras and Closed Semirings
Foundations of Relations and Kleene Algebra
Kleene Algebra with Tests and Coq Tools for While Programs Damien Pous
Kleene Algebras and Logic: Boolean and Rough Set Representations, 3
Relational Algebra: a Kleene Algebra Central to the Mathematics of Program Construction
Kleene Algebras:The Algebraof Regular Expressions
Kleene Algebra with Products and Iteration Theories
Hoare Semigroups
On Kleene Algebras
Kleene Algebra with Tests
Algebraic Path Problems
Regular Expressions and Kleene's Theorem
Kleene Algebra with Observations
Pomsets with Boxes: Protection, Separation, and Locality in Concurrent Kleene Algebra Paul Brunet, David Pym
Non-Deterministic Kleene Coalgebras
Kleene Modules
Kleene Algebras, Regular Languages and Substructural Logics
Top View
A Tactic for Deciding Kleene Algebras Thomas Braibant, Damien Pous
On Tools for Completeness of Kleene Algebra with Hypotheses Damien Pous, Jurriaan Rot, Jana Wagemaker
On the Expressive Power of Kleene Algebra with Domain
Free Kleene Algebras with Domain
Kleene Algebra with Domain
A Completeness Theorem for Kleene Algebras and the Algebra
Continuous Kleene -Algebras
Continuous Kleene Ω-Algebras?
Kleene Algebra with Domain (KAD) As an Extension of KAT and As a Reconciliation of KAT and PDL with Equal Opportunities for Propositions and Actions
Kleene Algebra and Kleene Algebra with Tests: an Introduction
Finite Automata
Equational Theory of Kleene Algebra
Regular Expressions and Kleene's Theorem
Partially Ordered Sets with Interfaces: a Novel Algebraic Approach for Concurrency
Some Applications of Kleene Algebra
Kleene Algebra with Tests: a Tutorial Part I
A Complete Axiomatisation of Reversible Kleene Lattices Paul Brunet
On the Representation of Kleene Algebras with Tests
Concurrent Kleene Algebra
Enumerating Fuzzy Switching Functions and Free Kleene Algebras
Kleene Algebra
Algebra and Coalgebra for Regular Expressions
Arxiv:1907.10386V2 [Math.LO] 28 Sep 2020
Axioms of Kleene Algebra
ALGEBRAIC NOTIONS of TERMINATION 1. Introduction
Formalizing the Kleene Star for Square Matrices
Kleene Algebra with Equations
C-Dioids = Μ-Continuous Chomsky Algebras
On the Fine-Structure of Regular Algebra
Kleene Algebra Completeness