×

zbMATH — the first resource for mathematics

Found 171 Documents (Results 1–100)

100
MathJax
Montiel, Mariana (ed.) et al., Mathematics and computation in music. 7th international conference, MCM 2019, Madrid, Spain, June 18–21, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11502, 59-72 (2019).
MSC:  00A65
PDF BibTeX XML Cite
Full Text: DOI
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 XML 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 XML 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 XML Cite
Cybern. Syst. Anal. 37, No. 1, 131-137 (2001); translation from Kibern. Sist. Anal. 2001, No. 1, 163-170 (2001).
PDF BibTeX XML 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 XML 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 XML 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 XML 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 XML Cite
Buffalo, NY: Buffalo Workshop Press. x, 353 p. (1991).
MSC:  18-01 03-01
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
Software