×

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, 39-56 (2016).
MSC:  68Q42
BibTeX Cite
Full Text: DOI
WorldCat.org
Owe, Olaf (ed.) et al., Fundamentals of computation theory. 18th international symposium, FCT 2011, Oslo, Norway, August 22–25, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22952-7/pbk). Lecture Notes in Computer Science 6914, 160-172 (2011).
MSC:  68N30 03B70 68Q42
BibTeX Cite
Full Text: DOI
WorldCat.org
Altenkirch, Thorsten (ed.) et al., Types for proofs and programs. International workshop, TYPES 2006, Nottingham, UK, April 18–21, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-74463-4/pbk). Lecture Notes in Computer Science 4502, 125-139 (2007).
MSC:  68N30 68Q42
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Year of Publication
Classification
Software