×

zbMATH — the first resource for mathematics

Found 15,543 Documents (Results 1–100)

100
MathJax
Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 351, 167-186 (2020).
MSC:  03B70 68Q55 68T27
PDF BibTeX XML Cite
Full Text: DOI
Sb. Math. 211, No. 9, 1267-1309 (2020); translation from Mat. Sb. 211, No. 9, 60-104 (2020).
PDF BibTeX XML Cite
Full Text: DOI
Cybern. Syst. Anal. 56, No. 5, 811-819 (2020); translation from Kibern. Sist. Anal. 2020, No. 5, 146-156 (2020).
MSC:  65D 41 41A 65
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software