Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17--20, 2012. Proceedings

DOI10.1007/978-3-642-33314-9MaRDI QIDQ450615zbMATH OpenOpenAlexFDO

Authors

Publication date 13 September 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-33314-9

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)

Cited in

(4)

• Special issue: Relational methods in computer science. 5th international seminar (RelMiCS 5), Québec, Canada, January 9--14, 2000
• Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -- November 1, 2018. Proceedings
• Relational and Kleene-algebraic methods in computer science. 7th international seminar on relational methods in computer science (RelMiCS 7) and 2nd international workshop on applications of Kleene algebra, Bad Malente, Germany, May 12-17, 2003. Revised selected papers
• Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15--18, 2017. Proceedings

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17--20, 2012. Proceedings

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