Preface to Special Issue: Coalgebraic methods in computer science

DOI10.1017/S0960129502003870zbMATH Open1028.00516OpenAlexW2137157437MaRDI QIDQ4408804FDOQ4408804

Authors:

Publication date: 7 January 2004

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129502003870

Recommendations

• CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6--7, 2001
• Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5--6, 2014. Revised selected papers
• CMCS'2002: Coalgebraic methods in computer science. Proceedings of the 5th workshop (satellite event of ETAPS 2002), Grenoble, France, April 6--7, 2002.
• Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998
• Special issue: Coalgebraic methods in computer science. Papers of the 3rd workshop CMCS, Berlin, Germany, March 25--26, 2000
• CMCS'03: Coalgebraic methods in computer science. Proceedings of the 6th workshop (satellite event of ETAPS 2003), Warsaw, April 5--6, 2003
• Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2--3, 2016. Revised selected papers
• Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14--15, 2018. Revised selected papers
• Proceedings of the 7th workshop on coalgebraic methods in computer science (CMCS), Barcelona, Spain, March 27--29, 2004
• CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25--26, 2000

zbMATH Keywords

Computer scienceBerlin (Germany)Coalgebraic methodsCMCS 2001

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)

• 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
• Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14--15, 2018. Revised selected papers

This page was built for publication: Preface to Special Issue: Coalgebraic methods in computer science

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