×

zbMATH — the first resource for mathematics

Found 57 Documents (Results 1–57)

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 21, 19 p. (2017).
MSC:  03B35 03B38 03B40
PDF BibTeX XML Cite
Full Text: DOI
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, 31-44 (2015).
MSC:  68N18 03B40 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 364-378 (2014).
MSC:  68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI
Capretta, Venanzio (ed.) et al., Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 5, 3-17 (2011).
MSC:  68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 345-356 (2010).
MSC:  68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI
Benzmüller, Christoph (ed.) et al., Reasoning in simple type theory. Festschrift in honor of Peter B. Andrews on his 70th birthday. London: College Publications (ISBN 978-1-904987-70-3/pbk). Studies in Logic (London) 17. Mathematical Logic and Foundations, 243-258 (2008).
MSC:  03B15 03B40
PDF BibTeX XML Cite
Robering, Klaus (ed.), New approaches to classes and concepts. Based on the workshop “Alternative set theories – Alternatives to set theory”, University of Southern Denmark, June 2, 2006. London: College Publications (ISBN 978-1-904987-85-7/pbk). Studies in Logic (London) 14, 111-142 (2008).
PDF BibTeX XML Cite
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’03, New Orleans, LA, USA, January 15–17, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-628-5). 250-261 (2003).
MSC:  68N18 68Q42
PDF BibTeX XML Cite
Full Text: DOI
de Queiroz, Ruy (ed.) et al., Proceedings of the 10th workshop on logic, language, information and computation (WoLLIC’2003), Ouro Preto, Minas Gerais, Brazil, July 29 – August 1, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 84, 105-116 (2003).
MSC:  03F05 03B40
PDF BibTeX XML Cite
Full Text: DOI
Leuschel, Michael (ed.), Logic based program synthesis and transformation. 12th international workshop, LOPSTR 2002, Madrid, Spain, September 17–20, 2002. Revised selected papers. Berlin: Springer (ISBN 3-540-40438-4/pbk). Lecture Notes in Computer Science 2664, 17-31 (2003).
MSC:  03B40 03F05
PDF BibTeX XML Cite
Full Text: DOI
Gottlob, Georg (ed.) et al., Computer science logic. 12th international workshop, CSL ’98, annual conference of the EACSL, Brno, Czech Republic, August 24–28, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1584, 241-259 (1999).
MSC:  03B40 68Q42
PDF BibTeX XML Cite

Filter Results by …

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