TY  - BOOK
AU  - Berghammer,Rudolf
AU  - Moller,Bernhard
AU  - Jaoua,Ali Mohamed
ED  - International Seminar on Relational Methods in Computer Science
ED  - SpringerLink (Online service)
TI  - 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 
SN  - 9783642046391
U1  - 004.0151 22
PY  - 2009///
CY  - Berlin, Heidelberg
PB  - Springer-Verlag Berlin Heidelberg
KW  - Relation algebras
KW  - Congresses
KW  - Algebraic logic
KW  - Computer science
KW  - Mathematics
KW  - Discrete Mathematics in Computer Science
KW  - Symbolic and Algebraic Manipulation
KW  - Order, Lattices, Ordered Algebraic Structures
KW  - Mathematical Logic and Formal Languages
KW  - Logics and Meanings of Programs
KW  - Algebra
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/978-3-642-04639-1
ER  -