| ||
Proceedings The proceedings are available online at this Springer website. Publication details: @PROCEEDINGS{Schmidt06, EDITOR = {Schmidt, R. A.}, YEAR = {2006}, TITLE = {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}, SERIES = {Lecture Notes in Computer Science}, VOLUME = {4136}, PUBLISHER = {Springer}, ISSN = {0302-9743}, ISBN = {978-3-540-37873-0}, } |