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
DOI10.1007/978-3-662-44124-4zbMATH Open1318.68010OpenAlexW2518149541MaRDI QIDQ492695FDOQ492695
Authors:
Publication date: 20 August 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-44124-4
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Abstract data types; algebraic specification (68Q65)
Cited In (5)
- Preface to Special Issue: Coalgebraic methods in computer science
- 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
- Generic weakest precondition semantics from monads enriched with order
- 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: 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q492695)
