On Partially Additive Kleene Algebras

Details On Partially Additive Kleene Algebras On Partially Additive Kleene Algebras

2005-01-16

arxiv.org/abs/cs/0501032v1

Computer Science

Logic in Computer Science

23 pages; to be presented at the 8th International Conference on Relational Methods in Computer Science (RelMiCS 8)

Scientific paper

We define the notion of a partially additive Kleene algebra, which is a Kleene algebra where the + operation need only be partially defined. These structures formalize a number of examples that cannot be handled directly by Kleene algebras. We relate partially additive Kleene algebras to existing algebraic structures, by exhibiting categorical connections with Kleene algebras, partially additive categories, and closed semirings.

Affiliated with

Also associated with

No associations

Rating

On Partially Additive Kleene Algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On Partially Additive Kleene Algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Partially Additive Kleene Algebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-237920