×

zbMATH — the first resource for mathematics

Found 55 Documents (Results 1–55)

100
MathJax
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 87-107, electronic only (2014).
MSC:  68Q85 18D05 91A80
PDF BibTeX XML Cite
Full Text: DOI
Halvorson, Hans (ed.) et al., Deep beauty. Understanding the quantum world through mathematical innovation. Papers based on the presentations at the deep beauty symposium, Princeton, NJ, USA, October 3–4, 2007. Cambridge: Cambridge University Press (ISBN 978-1-107-00570-9/hbk; 978-1-139-06608-2/ebook). 13-128 (2011).
PDF BibTeX XML Cite
Full Text: arXiv
Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 203-222 (2007).
MSC:  68Q55 06B35 18E05
PDF BibTeX XML Cite
Full Text: DOI
Betti, Renato (ed.) et al., Categorical studies in Italy. Selected papers presented at the meeting “The Italian friends meet Bill Lawvere”, Perugia, Italy, May 1-3, 1997. Palermo: Circolo Matematico di Palermo, Suppl. Rend. Circ. Mat. Palermo, II. Ser. 64, 123-156 (2000).
MSC:  94C15 18D10 18B20 93A30
PDF BibTeX XML Cite
Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 181-189 (1996).
Reviewer: A.Kock (Aarhus)
MSC:  18A15 18D05 18A40 18B25 03G30 03F03
PDF BibTeX XML Cite
Chogoshvili, G. S. (ed.), Generalized homologies and homotopies. Work collection on homology theory, 5. Tbilisi: Metsniereba. Tr. Tbilis. Mat. Inst. A. M. Razmadze. 97, 3-9 (1992).
MSC:  18G99 18D05
PDF BibTeX XML Cite
Seely, R. A. G. (ed.), Category theory 1991. Proceedings of an international summer category theory meeting, held in Montréal, Québec, Canada, June 23-30, 1991. Providence, RI: American Mathematical Society. CMS Conf. Proc. 13, 309-320 (1992).
MSC:  18D05 81T40
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification