Algebra and coalgebra in computer science
: second international conference ; proceedings / CALCO 2007, Bergen, Norway, August 20 - 24, 2007. Till Mossakowski ... (ed.). - Berlin : Springer, 2007. - Online-Ressource - (Lecture notes in computer science; 4624)
ISBN 978-3-540-73859-6
Lizenzpflichtig
Quelle: DNB
Algebra and coalgebra in computer science
: first international conference ; proceedings / CALCO 2005, Swansea, UK, September 3 - 6, 2005. José Luiz Fiadeiro ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3629)
ISBN 978-3-540-31876-7
Lizenzpflichtig
Quelle: DNB
Algebraic and coalgebraic methods in the mathematics of program construction
: international summer school and workshop, Oxford, UK, April 10 - 14, 2000 ; revised lectures / R. Backhouse ... (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2297)
ISBN 978-3-540-47797-6
Lizenzpflichtig
Quelle: DNB
