CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25--26, 2000

MaRDI QIDQ1574971zbMATH OpenFDO

Authors

Publication date 14 August 2000

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

Computer scienceProceedingsWorkshopBerlin (Germany)Coalgebraic methodsCMCS 2000

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Cited in

(4)

• Preface to Special Issue: Coalgebraic methods in computer science
• Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010)
• Special issue: CMCS tenth anniversary meeting. Selected papers based on the presentations at the workshop on coalgebraic methods in computer science (CMCS), Paphos, Cypern, March 26--28, 2010
• Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures

This page was built for publication: CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25--26, 2000

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1574971)