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/11828563MaRDI QIDQ2482849zbMATH OpenOpenAlexFDO

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

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)

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. Proce

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2482849)