×

zbMATH — the first resource for mathematics

Found 169 Documents (Results 1–100)

100
MathJax
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). 103-116 (2016).
MSC:  68N18 68N20 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 500-520 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 349-360 (2012).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Algebra Logic 49, No. 6, 483-508 (2011); translation from Algebra Logika 49, No. 6, 715-756 (2010).
MSC:  08A99 03C05 14A22
PDF BibTeX XML Cite
Full Text: DOI
Cambridge Tracts in Theoretical Computer Science 22. Cambridge: Cambridge University Press (ISBN 978-0-521-06479-8/pbk). xii, 349 p. (2008).
PDF BibTeX XML Cite
Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 103-119 (2007).
MSC:  68Q55 06B35 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Kenmochi, N. (ed.) et al., Proceedings of the international conference on nonlinear partial differential equations and their applications, Shanghai, China, November 23–27, 2003. Tokyo: Gakkōtosho (ISBN 4-7625-0429-7/hbk). GAKUTO International Series. Mathematical Sciences and Applications 20, 253-265 (2004).
PDF BibTeX XML Cite
Papamichael, N. (ed.) et al., Proceedings of the 3rd CMFT conference on computational methods and function theory 1997, Nicosia, Cyprus, October 13-17, 1997. Singapore: World Scientific. Ser. Approx. Decompos. 11, 421-430 (1999).
MSC:  30B30 30E10
PDF BibTeX XML Cite
Khovanskij, A. (ed.) et al., Geometry of differential equations. Dedicated to V. I. Arnold on the occasion of his 60th birthday. Providence, RI: American Mathematical Society. Transl., Ser. 2, Am. Math. Soc. 186(39), 131-151 (1998).
PDF BibTeX XML Cite

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
Biographic Reference
Software