25th EACSL annual conference and 30th workshop on computer science logic, CSL'16, Marseille, France, August 29 -- September 1, 2016. Proceedings

Author name not available (Why is that?)

Publication date: 10 November 2016

Published in: (Search for Journal in Brave)

Full work available at URL: http://subs.emis.de/LIPIcs/portals/lipics/index_c403.html

No records found.

This page was built for publication: 25th EACSL annual conference and 30th workshop on computer science logic, CSL'16, Marseille, France, August 29 -- September 1, 2016. Proceedings

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