Algebra and coalgebra in computer science
Subtitle: second international conference, CALCO 2007, Bergen, Norway, August 20-24, 2007 : proceedings
By: Till Mossakowski, Ugo Montanari, Magne Haveraaen (eds.).
Contributors: Mossakowski, Till.; Montanari, U.; Haveraaen, Magne.
Series: Lecture notes in computer science -- 4624.; LNCS sublibrary
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 461
ISBN-13: 9783540738572
Subjects: Computer science -- Mathematics -- Congresses.; Algebra -- Congresses.
Genres: Congresses.
Other titles: CALCO 2007.
Notes: Includes bibliographical references and author index.