×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 3-19 (2016).
BibTeX Cite
Full Text: DOI
WorldCat.org
Kohlenbach, Ulrich (ed.) et al., Logic, language, information, and computation. 21st international workshop, WoLLIC 2014, Valparaíso, Chile, September 1–4, 2014. Proceedings. Berlin: Springer (ISBN 978-3-662-44144-2/pbk). Lecture Notes in Computer Science 8652, 94-108 (2014).
MSC:  03F52
BibTeX Cite
Full Text: DOI
WorldCat.org
Libkin, Leonid (ed.) et al., Logic, language, information, and computation. 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20–23, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39991-6/pbk). Lecture Notes in Computer Science 8071, 34-48 (2013).
MSC:  03B35 03F07
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Reviewing State
Year of Publication
Classification