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 /
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 / [electronic resource] :
Relational methods in computer science. Applications of Kleene algebra. Kleene algebra. Relmics 2009. AKA 2009.
edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Moller.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.
- viii, 365 pages : illustrations, digital.
- Lecture notes in computer science, 5827 0302-9743 ; .
9783642046391
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
9783642046391
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