Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010)

MaRDI QIDQ453219zbMATH OpenFDO

Authors

Publication date 19 September 2012

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

Full work available at URL http://www.sciencedirect.com/science/journal/15710661/264/2

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65) Proceedings, conferences, collections, etc. pertaining to category theory (18-06)

Recommendations

• Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4--6, 2008
• Proceedings of the eighth workshop on coalgebraic methods in computer science (CMCS 2006), Vienna, Austria, March 25--27, 2006
• 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
• 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
• Preface to Special Issue: Coalgebraic methods in computer science
• Special issue: Coalgebraic methods in computer science. Papers of the 3rd workshop CMCS, Berlin, Germany, March 25--26, 2000
• CMCS 2001. Proceedings of the 4th workshop on coalgebraic methods in computer science, Genova, Italy, April 6--7, 2001
• Coalgebraic methods in computer science, CMCS '98. Proceedings of the 1st workshop, Lisbon, Portugal, March 28--29, 1998
• CMCS'03: Coalgebraic methods in computer science. Proceedings of the 6th workshop (satellite event of ETAPS 2003), Warsaw, April 5--6, 2003

Cited in

(2)

• 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: Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010)

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