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

Filter Results by …

Document Type
Year of Publication