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 1-5, 2009, Proceedings / edited by Rudolf Berghammer, Ali Jaoua, Bernhard Möller.

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:	SpringerLink (Online service)
Other Authors:	Berghammer, Rudolf (Editor), Jaoua, Ali (Editor), Möller, Bernhard (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edition:	1st ed. 2009.
Series:	Theoretical Computer Science and General Issues ; 5827 Springer eBook Collection.
Subjects:	Mathematical logic. Computer science—Mathematics. Computer logic. Algebra. Ordered algebraic structures. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.