×

zbMATH — the first resource for mathematics

Found 213 Documents (Results 1–100)

100
MathJax
Lovász, László (ed.) et al., Erdős centennial. On the occasion of Paul Erdős 100th anniversary of his birth. Berlin: Springer; Budapest: János Bolyai Mathematical Society (ISBN 978-3-642-39285-6/hbk; 978-3-642-39286-3/ebook). Bolyai Society Mathematical Studies 25, 153-168 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 138-152 (2011).
MSC:  68N18 03B40 03F52
PDF BibTeX XML Cite
Full Text: DOI
Student Mathematical Library. 6. Providence, RI: American Mathematical Society (AMS). xix, 115 p. (2000).
PDF BibTeX XML Cite
Girard, Jean-Yves (ed.), Typed lambda calculi and applications. 4th international conference, TLCA ’99. L’Aquila, Italy, April 7–9, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1581, 25-39 (1999).
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
all top 3
Software