×

zbMATH — the first resource for mathematics

Found 49 Documents (Results 1–49)

100
MathJax
Kahle, Reinhard (ed.) et al., Gentzen’s centenary. The quest for consistency. Cham: Springer (ISBN 978-3-319-10102-6/pbk; 978-3-319-10103-3/ebook). 425-454 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 177-195 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 135-150 (2002).
MSC:  68Q70 16Y60
PDF BibTeX XML Cite
Full Text: Link
Caicedo, Xavier (ed.) et al., Models, algebras, and proofs. Selected papers of the X Latin American symposium on mathematical logic, Bogotá, Colombia, June 24–29, 1995. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 119-134 (1999).
PDF BibTeX XML Cite
Hankin, C. (ed.) et al., Theory and formal methods of computing 94. Proceedings of the second Imperial College workshop held in Cambridge, UK, September 11-14, 1994. Singapore: Imperial College Press (distrib. by World Scientific). 259-282 (1995).
PDF BibTeX XML Cite

Filter Results by …

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