×

zbMATH — the first resource for mathematics

Found 550 Documents (Results 1–100)

100
MathJax
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 275-287 (2019).
MSC:  03D05 03B25
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 30, 16 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Ayala-Rincón, Mauricio (ed.) et al., Interactive theorem proving. 8th international conference, ITP 2017, Brasília, Brazil, September 26–29, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10499, 304-318 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 115-140 (2016).
PDF BibTeX XML Cite
Full Text: DOI
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). 788-797 (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 36, 16 p. (2016).
MSC:  03D05 03B25 03F35
PDF BibTeX XML Cite
Full Text: DOI
Gierlichs, Benedikt (ed.) et al., Security, privacy, and applied cryptography engineering. Third international conference, SPACE 2013, Kharagpur, India, October 19–23, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-41223-3/pbk). Lecture Notes in Computer Science 8204, 95-110 (2013).
MSC:  94A60 68P25
PDF BibTeX XML Cite
Full Text: DOI
Iohara, Kenji (ed.) et al., Symmetries, integrable systems and representations. Proceedings of the conference on infinite analysis: frontier of integrability, Tokyo, Japan, July 25–29, 2011 and the conference on symmetries, integrable systems and representations, Lyon, France, December 13–16, 2011. London: Springer (ISBN 978-1-4471-4862-3/hbk; 978-1-4471-4863-0/ebook). Springer Proceedings in Mathematics & Statistics 40, 515-541 (2013).
MSC:  14J20 14J26 34M55
PDF BibTeX XML Cite
Full Text: DOI
Farkas, Hershel M. (ed.) et al., From Fourier analysis and number theory to Radon transforms and geometry. In Memory of Leon Ehrenpreis. Berlin: Springer (ISBN 978-1-4614-4074-1/hbk; 978-1-4614-4075-8/ebook). Developments in Mathematics 28, 55-66 (2013).
MSC:  11F11 11F75
PDF BibTeX XML Cite
Full Text: DOI
Dybjer, Peter (ed.) et al., Epistemology versus ontology. Essays on the philosophy and foundations of mathematics in honour of Per Martin-Löf. Based on the conference, “Philosophy and foundations of mathematics: Epistemological and ontological aspects”, Uppsala, Sweden, May 5–8, 2009. Dordrecht: Springer (ISBN 978-94-007-4434-9/hbk; 978-94-007-4435-6/ebook). Logic, Epistemology, and the Unity of Science 27, 313-349 (2012).
MSC:  03F50 03E70 03F35
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 528-542, electronic only (2012).
MSC:  68Q45 03D05 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Schindler, Ralf (ed.), Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17–19, 2008, Münster, Germany. Frankfurt am Main: Ontos Verlag (ISBN 978-3-86838-087-3/hbk). Ontos Mathematical Logic 2, 363-439 (2010).
MSC:  03F35 03F15
PDF BibTeX XML Cite
Schindler, Ralf (ed.), Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17–19, 2008, Münster, Germany. Frankfurt am Main: Ontos Verlag (ISBN 978-3-86838-087-3/hbk). Ontos Mathematical Logic 2, 283-313 (2010).
MSC:  03F35 03E70
PDF BibTeX XML Cite

Filter Results by …

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