Relations and kleene algebra in computer science : 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, 2009 : proceedings /

The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009. The 22 revised full papers presen...

Full description

Bibliographic Details

Corporate Author:	International Conference on Relational Methods in Computer Science Doha, Qatar
Other Authors:	Berghammer, R (Rudolf), 1952-, Jaoua, Ali Mohamed, Möller, Bernhard, Möller, Bernhard
Format:	Conference Proceeding Book
Language:	English
Published:	Berlin ; New York : Springer, ©2009
Series:	LNCS sublibrary Theoretical computer science and general issues. Lecture notes in computer science ; 5827
Subjects:	Algebraic logic > Congresses Computer science > Mathematics > Congresses Relation algebras > Congresses Algèbres des relations > Congrès Informatique > Mathématiques > Congrès Logique algébrique > Congrès Algebraic logic Computer science > Mathematics Informatique Relation algebras algebra computer sciences computerwetenschappen logic logica mathematics wiskunde Informatie- en communicatietechnologie (algemeen) Information and Communication Technology (General) Electronic books Conference papers and proceedings