Relations and Kleene algebra in computer science
Subtitle: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings
By: Renate A. Schmidt (ed.).
Contributors: Schmidt, Renate A.; International Workshop on Applications of Kleene Algebra (4th : 2006 : Manchester, England)
Series: Lecture notes in computer science -- 4136.
Publisher: Springer
Published: 2006
Place of publication: Berlin; New York
Language: eng
Number of pages: 431
Subjects: Algebraic logic -- Congresses; Computer science -- Mathematics -- Congresses
Genres: Congresses.
Other titles: Ninth International Seminar on Relational Methods in Computer Science.; International Seminar on Relational Methods in Computer Science.; 4th International Workshop on Applications of Kleene Algebra.; Fourth International Workshop on Applications of Kleene Algebra.; International Workshop on Applications of Kleene Algebra.; RelMiCS/AKA 2006.
Notes: Includes bibliographical references and index.