Abstract
This paper proposes a framework for Kleene algebras with embedded structures that enables different kinds of Kleene algebras such as a Kleene algebra with tests and a Kleene algebra with relations to be handled uniformly. This framework guarantees the existence of free algebra if the embedded structures satisfy certain conditions. © Springer-Verlag Berlin Heidelberg 2006.
Cite
CITATION STYLE
APA
Furusawa, H. (2006). A framework for Kleene algebra with an embedded structure. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3929 LNCS, pp. 96–107). https://doi.org/10.1007/11734673_8
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free