Kleene algebra

Known as: Regular, Regular algebra 
In mathematics, a Kleene algebra (/ˈkleɪni/ KLAY-nee; named after Stephen Cole Kleene) is an idempotent (and thus partially ordered) semiring endowed… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1968-2018
0204019682018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
A concurrent Kleene algebra offers, next to choice and iteration, two composition operators, one that stands for sequential… (More)
  • figure 1
Is this relevant?
Highly Cited
2007
Highly Cited
2007
It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for… (More)
  • table 1
Is this relevant?
Highly Cited
2006
Highly Cited
2006
We propose Kleene algebra with domain (KAD), an extension of Kleene algebra by simple equational axioms for a domain and a… (More)
Is this relevant?
2004
2004
We propose a relaxation of Kleene algebra by giving up strictness and right-distributivity of composition. This allows the… (More)
Is this relevant?
2003
2003
We present an extension of Kleene algebra (KA) that can be used for modeling a record based view of pointer structures. This is… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We show that Kleene algebra with tests (KAT) subsumes propositional Hoare logic (PHL). Thus the specialized syntax and deductive… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
We introduce Kleene algebra with tests, an equational system for manipulating programs. We give a purely equational proof, using… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
We give a nitary axiomatization of the algebra of regular events involving only equations and equational implications Unlike Salo… (More)
Is this relevant?
1991
1991
We extend Kozen’s theory KA of Kleene Algebra to axiomatize parts of the equational theory of context-free languages, using a… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Kleene algebras are an important class of algebraic structures that arise in diverse areas of computer science: program logic and… (More)
Is this relevant?