×

zbMATH — the first resource for mathematics

Found 30 Documents (Results 1–30)

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
Abad, Manuel (ed.) et al., Actas del IX congreso de matemática “Dr. Antonio A. R. Monteiro”. Bahía Blanca: Universidad Nacional del Sur, Instituto de Matemática. 23-32 (2008).
MSC:  03B52 06D20 06F05
PDF BibTeX XML Cite