# Kleene algebra

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2009

2009

- CONCUR
- 2009

A concurrent Kleene algebra offers, next to choice and iteration, two composition operators, one that stands for sequential… (More)

Is this relevant?

Highly Cited

2007

Highly Cited

2007

- CADE
- 2007

It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for… (More)

Is this relevant?

Highly Cited

2006

Highly Cited

2006

- ACM Trans. Comput. Log.
- 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

- MPC
- 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

- RelMiCS
- 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)

Is this relevant?

Highly Cited

2000

Highly Cited

2000

- ACM Trans. Comput. Log.
- 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

- ACM Trans. Program. Lang. Syst.
- 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

- Inf. Comput.
- 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

- CSL
- 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

- MFCS
- 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?