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. Proceedings
DOI10.1007/11828563zbMATH Open1134.68009OpenAlexW4244544567MaRDI QIDQ2482849FDOQ2482849
Authors:
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
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)
Cited In (4)
- Dual choice and iteration in an abstract algebra of action
- Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers
- Boolean Algebras and Stone Maps in Schröder Categories
- Reconstruction of a time-dependent potential from wave measurements
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. Proceedings
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2482849)