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
Publication:2870429
zbMATH Open1280.68038MaRDI QIDQ2870429FDOQ2870429
Author name not available (Why is that?)
Publication date: 20 January 2014
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-vol23-csl2013-complete_.pdf
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Cited In (6)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 25th EACSL annual conference and 30th workshop on computer science logic, CSL'16, Marseille, France, August 29 -- September 1, 2016. Proceedings
- 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.
- Stone Dualities from Opfibrations
This page was built for publication: 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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870429)
