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 / Renate A. Schmidt, ed. - xi, 431 páginas : ilustraciones - Lecture notes in computer science, 4136 . - Lecture notes in computer science .

3540378731 (rústica) 978-3-540-37873-0


Lógica algebraica--Congresos
Matemáticas computacionales--Congresos

QA10 / I58 2006