Relations and Kleene algebra in computer science
Subtitle: 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, November 1-5, 2009 : proceedings
By: Rudolf Berghammer, Ali Mohamed Joaua, Bernhard Möller (eds.)
Contributors: Berghammer, R. (Rudolf), 1952-; Joaua, Ali Mohamed; Möller, Bernhard; International Workshop on Applications of Kleene Algebra (6th : 2009 : Doha, Qatar)
Series: Lecture notes in computer science -- 5827.; LNCS sublibrary. SL 1, Theoretical computer science and general issues; Lecture notes in computer science -- 5827.; LNCS sublibrary
Publisher: Springer
Published: 2009
Place of publication: Berlin; New York
Language: eng
Number of pages: 365
ISBN-13: 9783642046384
Subjects: Congresses; Computer science; Mathematics; Kleene algebra; Relation algebras; Algebraic logic
Other titles: Relational methods in computer science.; Applications of Kleene algebra.; Kleene algebra.; RelMiCS 2009.; AKA 2009.
Notes: Includes bibliographical references and index.