zbMATH — the first resource for mathematics

Found 78 Documents (Results 1–3)

Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 344, 151-167 (2019).
MSC:  03B70 68Q55 68T27
BibTeX Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
Year of Publication