Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 -- September 2, 2011. Proceedings

DOI10.1007/978-3-642-22944-2MaRDI QIDQ637053zbMATH OpenOpenAlexFDO

Authors

Publication date 2 September 2011

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-22944-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. First international conference, CALCO 2005, Swansea, UK, September 3--6, 2005. Proceedings.
• Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7--10, 2009. Proceedings
• Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3--6, 2013. Proceedings
• Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20--24, 2007. Proceedings.
• 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.
• scientific article; zbMATH DE number 7489396
• scientific article; zbMATH DE number 6513109
• Front Matter, Table of Contents, Preface, List of Authors
• scientific article; zbMATH DE number 7740944

Cited in

(3)

• scientific article; zbMATH DE number 7489396 (Why is no real title available?)
• Algebraic and coalgebraic methods in the mathematics of program construction. International summer school and workshop, Oxford, GB, April 10--14, 2000. Revised lectures
• Epistemic logics with structured knowledge

This page was built for publication: Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 -- September 2, 2011. Proceedings

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