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
zbMATH Open1254.68032MaRDI QIDQ636859FDOQ636859
Authors:
Publication date: 31 August 2011
Published in: Theoretical Computer Science (Search for Journal in Brave)
Recommendations
- Special issue: 9th international workshop on coalgebraic methods in computer science (CMCS 2008). Selected papers based on the presentations at the workshop, Budapest, Hungary, 4--6 April 2008
- Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010)
- Special issue: Coalgebraic methods in computer science. Papers of the 3rd workshop CMCS, Berlin, Germany, March 25--26, 2000
- 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
- Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31--April 1, 2012. Revised selected papers
- Preface to Special Issue: Coalgebraic methods in computer science
- 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 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25--26, 2000
- Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4--6, 2008
- 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
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Logic in computer science (03B70) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)
Cited In (1)
This page was built for publication: 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q636859)
