Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15--18, 2017. Proceedings

DOI10.1007/978-3-319-57418-9MaRDI QIDQ528576zbMATH OpenOpenAlexFDO

Authors

Publication date 12 May 2017

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

Full work available at URL https://doi.org/10.1007/978-3-319-57418-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)

Recommendations

• Relational and algebraic methods in computer science. 18th international conference, RAMiCS 2020, Palaiseau, France, October 26--29, 2020. Proceedings
• Relational and algebraic methods in computer science. 19th international conference, RAMiCS 2021, Marseille, France, November 2--5, 2021. Proceedings
• 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. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17--20, 2012. Proceedings
• Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 -- May 1, 2014. Proceedings
• Relational and algebraic methods in computer science. 20th international conference, RAMiCS 2023, Augsburg, Germany, April 3--6, 2023. Proceedings
• Relational and algebraic methods in computer science. 15th international conference, RAMiCS 2015, Braga, Portugal, September 28 -- October 1, 2015. Proceedings
• Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 -- June 3, 2011. Proceedings
• Special issue: Selected papers based on the presentations at the 12th international conference on relational and algebraic methods in computer science, RAMiCS 2011, Rotterdam, The Netherlands, May 30 -- June 3, 2011
• 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 s

Cited in

(3)

• 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

This page was built for publication: Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15--18, 2017. Proceedings

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