×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

100
MathJax
Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 396-411, electronic only (2011).
MSC:  68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI Link

Filter Results by …

Document Type
Year of Publication
Classification
Software