Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 5827)
Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)
Included in the following conference series:
Conference proceedings info: RelMiCS 2009.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (24 papers)
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: Relations and Kleene Algebra in Computer Science
Book 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
Editors: Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-04639-1
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2009
Softcover ISBN: 978-3-642-04638-4Published: 05 October 2009
eBook ISBN: 978-3-642-04639-1Published: 03 November 2009
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: VIII, 367
Topics: Mathematical Logic and Formal Languages, Symbolic and Algebraic Manipulation, Discrete Mathematics in Computer Science, Logics and Meanings of Programs, Algebra, Order, Lattices, Ordered Algebraic Structures