×

zbMATH — the first resource for mathematics

Found 72 Documents (Results 1–72)

100
MathJax
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 1-6 (2020).
Reviewer: Reviewer (Berlin)
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Berger, Ulrich (ed.) et al., Logic, construction, computation. Dedicated to the 70th birthday of Helmut Schwichtenberg. Frankfurt am Main: Ontos Verlag; Berlin: De Gruyter (ISBN 978-3-11-032453-2/hbk; 978-3-86838-158-0/hbk; 978-3-11-032492-1/ebook). Ontos Mathematical Logic 3, 475-499 (2012).
MSC:  03F30 03D20
PDF BibTeX XML Cite
Díaz, Josep (ed.) et al., Automata, languages and programming. 31st international colloquium, ICALP 2004, Turku, Finland, July 12–16, 2004. Proceedings. Berlin: Springer (ISBN 3-540-22849-7/pbk). Lecture Notes in Computer Science 3142, 269-280 (2004).
Reviewer: Reviewer (Berlin)
MSC:  03D20 03F60
PDF BibTeX XML Cite
Full Text: DOI
Bauer, Friedrich L. (ed.) et al., Foundations of secure computation. 20th international summer school, Marktoberdorf, Germany, July 27 - August 8, 1999. Amsterdam: IOS Press. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 175, 249-285 (2000).
PDF BibTeX XML Cite
Kijania-Placek, Katarzyna (ed.) et al., The Lvov-Warsaw school and contemporary philosophy. Papers from the conference, Lviv (Lvov), Ukraine, November 15-17, 1995 and Warsaw, Poland, November 19-21, 1995. Dordrecht: Kluwer Academic Publishers. Synth. Libr. 273, 265-282 (1998).
MSC:  03-03 03Dxx 01A60
PDF BibTeX XML Cite
Bollobás, Béla (ed.) et al., Combinatorics, geometry and probability. A tribute to Paul Erdős. Proceedings of the conference dedicated to Paul Erdős on the occasion of his 80th birthday, Cambridge, UK, 26 March 1993. Cambridge: Cambridge University Press. 179-192 (1997).
Reviewer: Reviewer (Berlin)
MSC:  03D20 03D15
PDF BibTeX XML Cite
Cucker, Felipe (ed.) et al., Foundations of computational mathematics. Selected papers of a conference, held at IMPA in Rio de Janeiro, Brazil, January 1997. Berlin: Springer. 127-151 (1997).
Reviewer: Reviewer (Berlin)
MSC:  68Q15
PDF BibTeX XML Cite
Full Text: DOI
J. Contemp. Math. Anal., Armen. Acad. Sci. 30, No. 1, 56-74 (1995); translation from Izv. Nats. Akad. Nauk Armen., Mat. 30, No. 1, 66-88 (1995).
Reviewer: Reviewer (Berlin)
MSC:  03D20 03C13
PDF BibTeX XML Cite
Duncan, Andrew J. (ed.) et al., Combinatorial and geometric group theory. Proceedings of a workshop held at Heriot-Watt University, Edinburgh, GB, spring of 1993. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 204, 314-321 (1995).
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
Software