×

zbMATH — the first resource for mathematics

Found 108 Documents (Results 1–100)

100
MathJax
Mossakowski, Till (ed.) et al., Algebra and coalgebra in computer science. Second international conference, CALCO 2007, Bergen, Norway, August 20–24, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73857-2/pbk). Lecture Notes in Computer Science 4624, 294-311 (2007).
MSC:  68Q65 68M07
PDF BibTeX XML Cite
Full Text: DOI
Enayat, Ali (ed.) et al., Logic in Tehran. Proceedings of the workshop and conference on logic, algebra and arithmetic, Tehran, Iran, October 18–22, 2003. Wellesley, MA: AK Peters (ISBN 1-56881-296-5/pbk; 1-56881-295-7/hbk). Lecture Notes in Logic 26, 256-269 (2006).
PDF BibTeX XML Cite
Stoltenberg-Hansen, Viggo (ed.) et al., Logic colloquium ’03. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Helsinki, Finland, August 14–20, 2003. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-293-0/hbk; 1-56881-294-9/pbk). Lecture Notes in Logic 24, 377-408 (2006).
MSC:  03D75 03D45 68Q05 68Q65
PDF BibTeX XML Cite
Denecke, Klaus et al., General algebra and applications in discrete mathematics. Proceedings of the conference on general algebra and discrete mathematics, Potsdam, Germany, June 1996. Aachen: Shaker Verlag. Berichte aus der Mathematik. 35-52 (1997).
Reviewer: M.Armbrust (Köln)
MSC:  08A55 08A40 08B26
PDF BibTeX XML Cite
Schwichtenberg, Helmut (ed.), Proof and computation. Proceedings of the NATO ASI summer school held in Marktoberdorf, Germany, July 20-August 1, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 139, 397-437 (1995).
Reviewer: C.Meinel (Trier)
MSC:  08A70 68Q05 68Q10
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, 63-78 (1994).
PDF BibTeX XML Cite
Mathematics and its Applications (Dordrecht). 272. Dordrecht: Kluwer Academic Publishers. xv, 438 p. (1994).
PDF BibTeX XML Cite
Rosenberg, Ivo (ed.) et al., Algebras and orders. Proceedings of the NATO Advanced Study Institute and Séminaire de mathématiques supérieures, Montréal, Canada, July 29 - August 9, 1991. Dordrecht: Kluwer Academic Publishers. NATO ASI Ser., Ser. C, Math. Phys. Sci. 389, 1-70 (1993).
PDF BibTeX XML Cite
Aczel, Peter (ed.) et al., Proof theory. A selection of papers from the Leeds proof theory programme, an international summer school and conference on proof theory, held at the Leeds University, UK, from July 24-August 2, 1990. Cambridge: Cambridge University Press. 277-306 (1992).
PDF BibTeX XML Cite
Algebraic logic, Pap. Colloq., Budap./Hung. 1988, Colloq. Math. Soc. János Bolyai 54, 393-412 (1991).
Reviewer: S.Bloom (Hoboken)
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