On kleene algebras and closed semirings

Kleene algebras are an important class of algebraic structures that arise in diverse areas of computer science: program logic and semantics, relational algebra, automata theory, and the design and analysis of algorithms. The literature contains at several inequivalent definitions of Kleene algebras...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Kozen, Dexter
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Dynamic Logic Forgetful Functor Left Adjoint Multiplicative Identity Transitive Closure
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!