Algebra and coalgebra in computer science : third international conference, CALCO 2009, Udine, Italy, September 7 - 10, 2009 ; proceedings / Alexander Kurz; Marina Lenisa; Andrzej Tarlecki (eds.)

Saved in:
Persons: Kurz, Alexander [Other]; Lenisa, Marina [Other]; Tarlecki, Andrzej [Other]
Conference:CALCO (3, 2009, Udine)
Format: eBook
Language(s):English
Publication:Berlin [u.a.] : Springer, 2009
Part of:Lecture notes in computer science 5728
Subjects:Algebra
Computational complexity
Computer science
Logic design
Theoretische Informatik > Koalgebra
Theoretische Informatik > Algebra
Formale Methode
Type of content:Konferenzschrift (2009, Udine)
Notes:Literaturangaben
Physical description:Online-Ressource (XI, 456 S.)
Reproduction:Online-Ausg., 2009, Springer eBook collection. Computer science
ISBN:978-3-642-03741-2
DOI:10.1007/978-3-642-03741-2
Basic Classification: 54.10 Theoretische Informatik
54.71 Logikprogrammierung
Further information:Inhaltstext