## Dexter Kozen, Konstantinos Mamouras

*Kleene Algebra with Equations*

ICALP, 2014.

@inproceedings{ICALP-v2-2014-KozenM,
author = "Dexter Kozen and Konstantinos Mamouras",
booktitle = "{Proceedings of the 41st International Colloquium on Automata, Languages, and Programming, Part II}",
doi = "10.1007/978-3-662-43951-7_24",
isbn = "978-3-662-43950-0",
pages = "280--292",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Kleene Algebra with Equations}",
volume = 8573,
year = 2014,
}

### Tags: