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/September, 2006 : proceedings / Renate A. Schmidt (ed.).

Author/creator International Seminar on Relational Methods in Computer Science
Other author Schmidt, Renate A.
Other author International Workshop on Applications of Kleene Algebra 2006 : Manchester, England)
Format Book
Publication InfoBerlin ; New York : Springer, ©2006.
Descriptionxi, 431 pages : illustrations ; 24 cm.
Subjects
Algebraic logic--Congresses.
Computer science--Mathematics. --Congresses.

Variant title Ninth International Seminar on Relational Methods in Computer Science
Portion of title International Seminar on Relational Methods in Computer Science
Portion of title 4th International Workshop on Applications of Kleene Algebra
Variant title Fourth International Workshop on Applications of Kleene Algebra
Portion of title International Workshop on Applications of Kleene Algebra
Portion of title RelMiCS/AKA 2006
SeriesLecture notes in computer science ; 4136, 0302-9743 ;
Lecture notes in computer science 4136. ^A466336
Bibliography noteIncludes bibliographical references and index.
LCCN 2006931478
ISBN3540378731 (pbk.)
ISBN9783540378730