×

zbMATH — the first resource for mathematics

Found 168 Documents (Results 1–100)

100
MathJax
Huynh, Dinh Van (ed.) et al., Ring theory and its applications. Ring theory session in honor of T. Y. Lam on his 70th birthday, 31st Ohio State-Denison mathematics conference, Columbus, OH, USA, May 25–27, 2012. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-8797-4/pbk; 978-1-4704-1471-9/ebook). Contemporary Mathematics 609, 285-297 (2014).
PDF BibTeX Cite
Full Text: arXiv
Hart, Bradd (ed.) et al., Models, logics, and higher-dimensional categories: A tribute to the work of Mihály Makkai. Proceedings of a conference, CRM, Montréal, Canada, June 18–20, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-7281-9/pbk). CRM Proceedings and Lecture Notes 53, 29-54 (2011).
MSC:  18D05 14A20 18B25 18D30 18F20 18G60
PDF BibTeX Cite
Wolter, Frank (ed.) et al., Advances in modal logic. Vol. 3. Proceedings of the 3rd AiML workshop, Leipzig, Germany, October 4-7, 2000. Singapore: World Scientific. 193-220 (2002).
PDF BibTeX Cite
Cybern. Syst. Anal. 37, No. 1, 131-137 (2001); translation from Kibern. Sist. Anal. 2001, No. 1, 163-170 (2001).
PDF BibTeX Cite
Full Text: DOI
Birkedal, Lars (ed.) et al., A tutorial workshop on realizability semantics and applications. A workshop associated to the federated logic conference, Trento, Italy, June 30 - July 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 23,1, 17 p., electronic only (1999).
MSC:  68Q55 68N18
PDF BibTeX Cite
Full Text: Link
Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 373-385 (1992).
MSC:  03E35 03G30 18B25
PDF BibTeX Cite
Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 315-339 (1992).
PDF BibTeX Cite
Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 288-314 (1992).
PDF BibTeX Cite
Buffalo, NY: Buffalo Workshop Press. x, 353 p. (1991).
MSC:  18-01 03-01
PDF BibTeX Cite

Filter Results by …

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