TY  - BOOK
AU  - Schmidt,Renate A.
ED  - International Seminar on Relational Methods in Computer Science
ED  - SpringerLink (Online service)
TI  - Relations and Kleene Algebra in Computer Science: 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings 
SN  - 9783540378747 (electronic bk.)
AV  - QA10 .I58 2006
U1  - 512.74 22
PY  - 2006///
CY  - Berlin Heidelberg
PB  - Springer-Verlag GmbH.
KW  - Algebraic logic
KW  - Congresses
KW  - Computer science
KW  - Mathematics
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/11828563
ER  -