×

zbMATH — the first resource for mathematics

Found 92 Documents (Results 1–92)

100
MathJax
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 739-748 (2016).
PDF BibTeX XML Cite
Full Text: DOI
De Vuyst, Jonas (ed.) et al., Future directions in logic. Proceedings of PhDs in logic III. Selected papers presented at the conference, Brussels, Belgium, February 17–18, 2011. London: College Publications (ISBN 978-1-84890-079-0). IfColog Proceedings 2, 107-118 (2012).
PDF BibTeX XML Cite
Abad, Manuel (ed.) et al., Actas del IX congreso de matemática “Dr. Antonio A. R. Monteiro”. Bahía Blanca: Universidad Nacional del Sur, Instituto de Matemática. 79-106 (2008).
PDF BibTeX XML Cite
Izv. Math. 60, No. 6, 1219-1260 (1996); translation from Izv. Ross. Akad. Nauk, Ser. Mat. 60, No. 6, 127-168 (1996).
MSC:  08B10 06E05 06B20
PDF BibTeX XML Cite
Full Text: DOI
Chajda, I. (ed.) et al., General algebra and ordered sets. Proceedings of the international conference and summer school, held in Horní Lipová, Czech Republic, September 4-12, 1994. Olomouc: Palacký University Olomouc, Department of Algebra and Geometry, 144-155 (1994).
Reviewer: M.Armbrust (Köln)
MSC:  08B99 06B20
PDF BibTeX XML Cite
Chajda, I. (ed.) et al., General algebra and ordered sets. Proceedings of the international conference and summer school, held in Horní Lipová, Czech Republic, September 4-12, 1994. Olomouc: Palacký University Olomouc, Department of Algebra and Geometry, 106-115 (1994).
Reviewer: M.Armbrust (Köln)
PDF BibTeX XML Cite
Denecke, K. (ed.) et al., General algebra and applications. Based on lectures given at the 43. Arbeitstagung Allgemeine Algebra, Potsdam (Germany), 31. Jan. - 2. Febr. 1992. Berlin: Heldermann Verlag. Res. Expo. Math. 20, 162-169 (1993).
Reviewer: V.Meskhi (Tbilisi)
PDF BibTeX XML Cite
Mem. Am. Math. Soc. 246, 106 p. (1981).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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