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.
Publication:2917351
zbMATH Open1253.68008MaRDI QIDQ2917351FDOQ2917351
Author name not available (Why is that?)
Publication date: 28 September 2012
Published in: LIPIcs -- Leibniz International Proceedings in Informatics (Search for Journal in Brave)
Full work available at URL: http://cs.emis.de/LIPIcs/volltexte/lipics-complete/lipics-vol16-csl2012-complete_.pdf
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (1)
Recommendations
- Computer science logic (CSL'11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12--15, 2011. 👍 👎
- Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23--27, 2010. Proceedings 👍 👎
- Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7--11, 2009. Proceedings 👍 👎
- Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16--19, 2008. Proceedings 👍 👎
- Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11--15, 2007. Proceedings. 👍 👎
- Computer science logic. 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10--13, 2001. Proceedings 👍 👎
- Computer science logic. 12th international workshop, CSL '98, annual conference of the EACSL, Brno, Czech Republic, August 24--28, 1998. Proceedings 👍 👎
- Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22--25, 2002. Proceedings 👍 👎
- 25th EACSL annual conference and 30th workshop on computer science logic, CSL'16, Marseille, France, August 29 -- September 1, 2016. Proceedings 👍 👎
- Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2--5, 2013 👍 👎
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)
