×

zbMATH — the first resource for mathematics

Found 65 Documents (Results 1–65)

100
MathJax
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 29, 17 p. (2017).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 24, 17 p. (2017).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
Horizonte, Belo (ed.) et al., Proceedings of the 3rd workshop on logical and semantic frameworks, with applications (LSFA 2008), Salvador, Brazil, August 26, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 247, 85-101 (2009).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
van Bakel, Steffen (ed.), ITRS’02. Proceedings of the 2nd workshop on intersection types and related systems (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 1, 106-123 (2003).
MSC:  03B40 68N18
PDF BibTeX XML Cite
Full Text: DOI
van Bakel, Steffen (ed.), ITRS’02. Proceedings of the 2nd workshop on intersection types and related systems (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 1, 19-36 (2003).
MSC:  03B40 03F05
PDF BibTeX XML Cite
Full Text: DOI
Levy, Jean-Jacques (ed.), BOTH 2001 – Böhm’s theorem: applications to computer science theory. Proceedings of one of the four satellite workshops of the 28th international colloquium on automata, languages and programming (ICALP 2001) held in Crete, Greece, July 13, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 50, No. 2, 145-158 (2001).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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