Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31--April 1, 2012. Revised selected papers

DOI10.1007/978-3-642-32784-1zbMath1246.68051DBLPconf/cmcs/2012OpenAlexW2492172922WikidataQ57006494 ScholiaQ57006494MaRDI QIDQ441468

No author found.

Publication date: 23 August 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-32784-1

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)

Related Items (2)

Unnamed Item ⋮ Product Rules and Distributive Laws

This page was built for publication: Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31--April 1, 2012. Revised selected papers