×

zbMATH — the first resource for mathematics

Found 122 Documents (Results 1–100)

100
MathJax
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2020, Deerfield Beach, FL, USA, January 04–07, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-36754-1/pbk; 978-3-030-36755-8/ebook). Lecture Notes in Computer Science 11972, 98-110 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Feferman, Solomon (ed.) et al., Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. London: College Publications (ISBN 978-1-84890-012-7/pbk). Tributes 13, 49-60 (2010).
MSC:  03F45 03C40
PDF BibTeX XML Cite
Proceedings of the 10th congress of Yugoslav mathematicians, Belgrade, Yugoslavia, January 21-24, 2001. Belgrade: University of Belgrade, Faculty of Mathematics. 11-20 (2001).
PDF BibTeX XML Cite
Hannover: Univ. Hannover, Fachbereich Mathematik und Informatik (Dissertation). 94 p. (2000).
PDF BibTeX XML Cite
Full Text: Link
Schirn, Matthias (ed.), The philosophy of mathematics today. Papers from a conference, Munich, Germany, June 28–July 4, 1993. Oxford: Clarendon Press. 249-270 (1998).
MSC:  03A05 00A30
PDF BibTeX XML Cite
Beame, Paul W. (ed.) et al., Proof complexity and feasible arithmetics. Papers from the DIMACS workshop, Rutgers, NJ, USA, April 21–24, 1996. Providence, RI: American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 39, 37-57 (1998).
PDF BibTeX XML Cite
Hodges, Wilfrid (ed.) et al., Logic: from foundations to applications. European logic colloquium, Keele, UK, July 20–29, 1993. Oxford: Clarendon Press. 103-136 (1996).
MSC:  03E55
PDF BibTeX XML Cite
Full Text: arXiv
Duncan, Andrew J. (ed.) et al., Combinatorial and geometric group theory. Proceedings of a workshop held at Heriot-Watt University, Edinburgh, GB, spring of 1993. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 204, 314-321 (1995).
PDF BibTeX XML Cite
Clote, Peter (ed.) et al., Feasible mathematics II. Based on a workshop, held at the Cornell University, Ithaca, NY, USA, May 28-30, 1992. Boston, MA: Birkhäuser. Prog. Comput. Sci. Appl. Log. 13, 320-343 (1995).
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. 197-225 (1992).
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. 3-26 (1992).
PDF BibTeX XML Cite
Börger, Egon (ed.) et al., Computer science logic. 5th workshop, CSL ’91, Berne, Switzerland, October 7-11, 1991. Proceedings. Berlin etc.: Springer-Verlag. Lect. Notes Comput. Sci. 626, 96-110 (1992).
Reviewer: N.Curteanu (Iaşi)
PDF BibTeX XML Cite
Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 95-127 (1992).
MSC:  03B70 03F35 03F30
PDF BibTeX XML Cite
Computer-aided verification ’90, Proc. 2nd DIMACS Workshop, New Brunswick/NJ (USA) 1990, DIMACS, Ser. Discret. Math. Theor. Comput. Sci. 3, 591-613 (1991).
MSC:  68Q70 68Q05 68Q10
PDF BibTeX XML Cite
Logical frameworks, Proc. 1st Annu. Workshop, Sophia-Antipolis/Fr. 1990, 280-306 (1991).
MSC:  03F35 03B40
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