Image from Amazon.com
Relations and kleene algebra in computer science [electronic resource] : 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 / edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller.
Series: Lecture notes in computer science ; 5827Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.Description: viii, 365 pages : illustrations, digitalISBN:- 9783642046391
- Relational methods in computer science
- Applications of Kleene algebra
- Kleene algebra
- Relmics 2009
- AKA 2009
- Relation algebras -- Congresses
- Algebraic logic -- Congresses
- Computer science -- Mathematics -- Congresses
- Discrete Mathematics in Computer Science
- Symbolic and Algebraic Manipulation
- Order, Lattices, Ordered Algebraic Structures
- Mathematical Logic and Formal Languages
- Logics and Meanings of Programs
- Algebra
- 004.0151 22
No physical items for this record
There are no comments on this title.
Log in to your account to post a comment.