Computer science logic (CSL'12). 26th international workshop, 21st annual conference of the EACSL, September 3--6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference.

Author name not available (Why is that?)

Publication date: 28 September 2012

Published in: (Search for Journal in Brave)

Full work available at URL: http://cs.emis.de/LIPIcs/volltexte/lipics-complete/lipics-vol16-csl2012-complete_.pdf

No records found.

This page was built for publication: Computer science logic (CSL'12). 26th international workshop, 21st annual conference of the EACSL, September 3--6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference.

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