×

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, 57-74 (2016).
MSC:  68T15 03B35 68Q42
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Volume
Year of Publication
Classification
Software