Relations and Kleene Algebra in Computer Science [Risorsa elettronica] : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK
Pubbl/distr/stampa
Berlin ; Heidelberg : Springer, 2006
ISBN
9783540378747
Collana
Lecture Notes in Computer Science , 0302-9743 ; 4136