×

zbMATH — the first resource for mathematics

Found 44 Documents (Results 1–44)

100
MathJax
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 41, 457-471 (2015).
MSC:  03B45 03B70 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 47, 10 p. (2014).
MSC:  68Q15 03F30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Ronchi della Rocca, Simona (ed.), 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. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 61-80 (2013).
MSC:  03C07 03C13
PDF BibTeX XML Cite
Full Text: DOI
Lagakos, Stephen (ed.) et al., Recent advances in applied mathematics. Proceedings of the American conference on applied mathematics (AMERICAN-MATH ’10), Harvard University, Cambridge, MA, USA, January 27–29, 2010. Athens: WSEAS Press (ISBN 978-960-474-150-2). Mathematics and Computers in Science and Engineering, 201-205 (2009).
MSC:  68Q05
PDF BibTeX XML Cite
Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lusanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 343-357 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
Software