25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jean-Marc Talbot, Laurent Regnier, editors, 25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France. Volume 62 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]

Conference: csl2016

This author has not been identified. Look up 'Jean-Marc Talbot' in GoogleThis author has not been identified. Look up 'Laurent Regnier' in Google

runs on WebDSL