Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7--10, 2009. Proceedings

DOI10.1007/978-3-642-03741-2MaRDI QIDQ843024zbMATH OpenOpenAlexFDO

Authors

Publication date 29 September 2009

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-03741-2

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Theory of computing (68Qxx)

Recommendations

• Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3--6, 2013. Proceedings
• Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3--6, 2005. Proceedings.
• Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20--24, 2007. Proceedings.
• scientific article; zbMATH DE number 7489396
• scientific article; zbMATH DE number 7189131
• Special issue: Algebra and coalgebra in computer science CALCO 2005. Selected papers based on the presentations at the 1st international conference, Swansea, Wales, September 3--6, 2005.
• Front Matter, Table of Contents, Preface, List of Authors
• scientific article; zbMATH DE number 6513109
• scientific article; zbMATH DE number 7740944

Cited in

(6)

• Bisimulations generated from corecursive equations
• scientific article; zbMATH DE number 7489396 (Why is no real title available?)
• Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 -- September 2, 2011. Proceedings
• Coalgebras in functional programming and type theory
• Coalgebraic semantics of modal logics: an overview
• Traces via strategies in two-player games

This page was built for publication: Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7--10, 2009. Proceedings

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