×

zbMATH — the first resource for mathematics

Found 13 Documents (Results 1–13)

100
MathJax
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. Electron. Notes Theor. Comput. Sci. 344, 169-188 (2019).
MSC:  03G25
PDF BibTeX XML Cite
Full Text: DOI