×

zbMATH — the first resource for mathematics

Found 43 Documents (Results 1–43)

100
MathJax
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 218-231 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Theoretical and Mathematical Physics (Cham). New Delhi: Springer (ISBN 978-81-322-2360-3/hbk; 978-81-322-2361-0/ebook). xi, 159 p. (2016).
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, 107-122 (2015).
MSC:  68N30 03B40 68N18 68Q55 68T15
PDF BibTeX XML Cite
Full Text: DOI
Progress in Mathematical Physics 65. New York, NY: Birkhäuser/Springer (ISBN 978-1-4614-8225-3/hbk; 978-1-4614-8226-0/ebook). xi, 238 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 107-121, electronic only (2012).
MSC:  68N30
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, 445-456 (2011).
MSC:  68N30 68N18 68N20
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 103-114 (2004).
MSC:  68N18 03B70 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Combes, Jean-Michel (ed.) et al., Operator algebras and mathematical physics. Proceedings of the conference, Constanţa, Romania, July 2–7, 2001. Bucharest: Theta (ISBN 973-85432-2-3). 11-22 (2003).
PDF BibTeX XML Cite
Full Text: arXiv
Ramm, A. G. (ed.) et al., Operator theory and its applications. Proceedings of the international conference, Winnipeg, Canada, October 7-11, 1998. Providence, RI: American Mathematical Society (AMS). Fields Inst. Commun. 25, 239-256 (2000).
MSC:  35B32 35J85 35K57 35J65 92B05 47H04
PDF BibTeX XML Cite
Gohberg, I. (ed.) et al., Differential and integral operators. Vol. I. Proceedings of the international workshop on operator theory and applications, IWOTA 95, Regensburg, Germany, July 31-August 4, 1995. Basel: Birkhäuser. Oper. Theory, Adv. Appl. 102, 1-10 (1998).
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
all top 3
Software