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-9zbMATH Open1246.68043OpenAlexW4238204305MaRDI QIDQ450615FDOQ450615

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 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. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 -- November 1, 2018. Proceedings
• Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15--18, 2017. Proceedings

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)