×

zbMATH — the first resource for mathematics

Found 719 Documents (Results 1–100)

100
MathJax
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 49-65 (2020).
PDF BibTeX XML Cite
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 619-632 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 348, 61-83 (2020).
MSC:  03B45 68V15
PDF BibTeX XML Cite
Full Text: DOI
Herzig, Andreas (ed.) et al., Frontiers of combining systems. 12th international symposium, FroCoS 2019, London, UK, September 4–6, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11715, 112-128 (2019).
MSC:  68T27 68T50 68V15
PDF BibTeX XML Cite
Full Text: DOI
Arazim, Pavel (ed.) et al., The Logica yearbook 2016. Proceedings of the 30th annual international symposium Logica, Hejnice Monastery, Czech Republic, June 20–24, 2016. London: College Publications. 173-184 (2017).
MSC:  03B20 03F03
PDF BibTeX XML Cite
Sources and Studies in the History of Mathematics and Physical Sciences. Cham: Springer (ISBN 978-3-319-42119-3/hbk; 978-3-319-42120-9/ebook). x, 315 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 74-88 (2016).
MSC:  68N18 68N20 68N30
PDF BibTeX XML Cite
Full Text: DOI
Kuhlmann, Marco (ed.) et al., The 14th meeting on the mathematics of language. Proceedings of the meeting, MoL 14, Chicago, IL, USA, July 25–26, 2015. Stroudsburg, PA: Association for Computational Linguistics (ISBN 978-1-941643-56-3). 39-50 (2015).
MSC:  68T50 03B65 68T15
PDF BibTeX XML Cite
Full Text: Link
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 317-331 (2015).
MSC:  03B40 03F07 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 107-124, electronic only (2015).
MSC:  03F03 03B20
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