Relations and Kleene algebra in computer science. 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006. Proce

DOI10.1007/11828563zbMath1134.68009OpenAlexW4244544567MaRDI QIDQ2482849

No author found.

Publication date: 24 April 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11828563

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)

Related Items (3)

Boolean Algebras and Stone Maps in Schröder Categories ⋮ Reconstruction of a time-dependent potential from wave measurements ⋮ Dual choice and iteration in an abstract algebra of action

This page was built for publication: Relations and Kleene algebra in computer science. 9th international conference on relational methods in computer science and 4th international workshop on applications of Kleene algebra, RelMiCS/AKA 2006, Manchester, UK, August 29-September 2, 2006. Proce