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

zbMATH Open1246.68041MaRDI QIDQ453219FDOQ453219

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

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

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)

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)