×

zbMATH — the first resource for mathematics

Found 142 Documents (Results 1–100)

100
MathJax
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, 288-301 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Voronkov, Andrei (ed.) et al., Perspectives of system informatics. 9th international Ershov informatics conference, PSI 2014, St. Petersburg, Russia, June 24–27, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8974, 257-265 (2015).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Du Bois, André Rauber (ed.) et al., Programming languages. 17th Brazilian symposium, SBLP 2013, Brasília, Brazil, October 3–4, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40921-9/pbk). Lecture Notes in Computer Science 8129, 1-15 (2013).
MSC:  68N15 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 75-84 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 234-246 (2011).
MSC:  68N18
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, 285-296 (2010).
MSC:  68Q42 68N18 68N20
PDF BibTeX XML Cite
Full Text: DOI
Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 108-117 (2010).
MSC:  68-03 01A60 68N18
PDF BibTeX XML Cite
Full Text: DOI
Carette, Jacques (ed.) et al., Intelligent computer mathematics. 16th symposium, Calculemus 2009, 8th international conference, MKM 2009, held as part of CICM 2009, Grand Bend, Canada, July 6–12, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02613-3/pbk). Lecture Notes in Computer Science 5625. Lecture Notes in Artificial Intelligence, 170-185 (2009).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Mackie, Ian (ed.), Proceedings of the 3rd international workshop on term graph rewriting (TERMGRAPH 2006), Vienna, Austria, April 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 176, No. 1, 113-137 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 239-248 (2003).
MSC:  68N20 68N15 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 36-47 (2002).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 14-25 (2002).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Sambin, Giovanni (ed.) et al., Twenty-five years of constructive type theory. Proceedings of a congress, Venice, Italy, Ocober 19–21, 1995. Oxford: Clarendon Press. Oxf. Logic Guides. 36, 265-274 (1998).
MSC:  03B40
PDF BibTeX XML Cite
Tošić, Ratko (ed.) et al., Proceedings of the VIII international conference on logic and computer science: theoretical foundations of computer science, Lira ’97, Novi Sad, Yugoslavia, September 1-4, 1997. Novi Sad: Univ. of Novi Sad, Faculty of Science, Institute of Mathematics, 139-144 (1997).
MSC:  68T35 68N15
PDF BibTeX XML Cite
Bridges, D. S. (ed.) et al., Combinatorics, complexity, and logic. Proceedings of the 1st international conference on discrete mathematics and theoretical computer science, DMTCS ’96, Auckland, New Zealand, December 9–13, 1996. Berlin: Springer. 253-263 (1997).
MSC:  03B40 05A15 03G30
PDF BibTeX XML Cite
Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 63-84 (1995).
MSC:  03B40 68Q42
PDF BibTeX XML Cite

Filter Results by …

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