×

zbMATH — the first resource for mathematics

Found 4 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

Filter Results by …

Document Type
Reviewing State
Year of Publication
Classification