Relations and Kleene Algebra in Computer Science [Risorsa elettronica] : 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 1-5, 2009. Proceedings / edited by Rudolf Berghammer, Ali Mohamed Jaoua, Bernhard Möller |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2009 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783642046391 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009262720403321 |
Berlin ; Heidelberg : Springer, 2009 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|
Relations and Kleene Algebra in Computer Science [Risorsa elettronica] : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germ |
Pubbl/distr/stampa | Berlin ; Heidelberg : Springer, 2008 |
Collana | Lecture Notes in Computer Science |
ISBN | 9783540789130 |
Formato | Risorse elettroniche |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-990009255590403321 |
Berlin ; Heidelberg : Springer, 2008 | ||
Risorse elettroniche | ||
Lo trovi qui: Univ. Federico II | ||
|