×

zbMATH — the first resource for mathematics

Found 459 Documents (Results 1–100)

100
MathJax
Gopal, T. V. (ed.) et al., Theory and applications of models of computation. 15th annual conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-14811-9/pbk; 978-3-030-14812-6/ebook). Lecture Notes in Computer Science 11436, 172-187 (2019).
MSC:  68Q05
PDF BibTeX XML Cite
Full Text: DOI
Mosc. Univ. Comput. Math. Cybern. 42, No. 1, 31-38 (2018); translation from Vestn. Mosk. Univ., Ser. XV 2018, No. 1, 31-39 (2018).
MSC:  68Q05 03D10 03D20
PDF BibTeX XML Cite
Full Text: DOI
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16816-9/hbk; 978-1-316-71707-3/ebook). xii, 225 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Logic 1. Cambridge: Cambridge University Press; Ithaca, NY: Association of Symbolic Logic (ASL) (ISBN 978-1-107-16808-4/hbk; 978-1-316-71701-1/ebook). vii, 84 p. (2016).
MSC:  03-01 03-02 03Dxx
PDF BibTeX XML Cite
Full Text: DOI
Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 197-210, electronic only (2016).
MSC:  03D20 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Zhao, Xishun (ed.) et al., Proceedings of the 13th Asian logic conference, ALC 2013, Guangzhou, China, September 16–20, 2013. Hackensack, NJ: World Scientific. 29-52 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Daras, Nicholas J. (ed.) et al., Computation, cryptography, and network security. Cham: Springer (ISBN 978-3-319-18274-2/hbk; 978-3-319-18275-9/ebook). 577-590 (2015).
MSC:  03D20 11U05
PDF BibTeX XML Cite
Full Text: DOI arXiv
Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 112-124 (2014).
MSC:  68Q80 68Q15 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Brattka, Vasco (ed.) et al., Logic, computation, hierarchies. Dedicated to Victor L. Selivanov on the occasion of his 60th birthday. Berlin: De Gruyter (ISBN 978-1-61451-783-2/hbk; 978-1-61451-804-4/ebook). Ontos Mathematical Logic 4, 79-107 (2014).
PDF BibTeX XML Cite
Full Text: arXiv
Mashreghi, Javad (ed.) et al., Blaschke products and their applications. Proceedings based on the presentations at the conference, Toronto, Canada, July 25–29, 2011. New York, NY: Springer; Toronto: Fields Institute for Research in Mathematical Sciences (ISBN 978-1-4614-5340-6/hbk; 978-1-4614-5341-3/ebook). Fields Institute Communications 65, 223-248 (2013).
MSC:  03F60 30J05 30J10
PDF BibTeX XML Cite
Full Text: DOI
Bonizzoni, Paola (ed.) et al., The nature of computation. Logic, algorithms, applications. 9th conference on computability in Europe, CiE 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7921, 434-444 (2013).
MSC:  65D18 03D78 30C15
PDF BibTeX XML Cite
Full Text: DOI
Bonizzoni, Paola (ed.) et al., The nature of computation. Logic, algorithms, applications. 9th conference on computability in Europe, CiE 2013, Milan, Italy, July 1–5, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7921, 45-54 (2013).
MSC:  03D78 03D20 03D15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the annual international conference on computational mathematics, computational geometry and statistics (CMCGS 2012), Singapore, January 30–31, 2012. Singapore: Global Science and Technology Forum (GSTF). 141-146 (2012).
MSC:  62E15 65D15
PDF BibTeX XML Cite
Arai, Toshiyasu (ed.) et al., Proceedings of the 11th Asian logic conference in honor of Professor Chong Chitat on his 60th birthday, National University of Singapore, Singapore, June 22–27, 2009. Hackensack, NJ: World Scientific (ISBN 978-981-4360-53-1/hbk; 978-981-4360-54-8/ebook). 59-85 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Löwe, Benedikt (ed.) et al., Models of computation in context. 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 – July 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21874-3/pbk). Lecture Notes in Computer Science 6735, 270-279 (2011).
MSC:  03D78 03D20
PDF BibTeX XML Cite
Full Text: DOI
Löwe, Benedikt (ed.) et al., Models of computation in context. 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 – July 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21874-3/pbk). Lecture Notes in Computer Science 6735, 132-141 (2011).
MSC:  03D78 28B05
PDF BibTeX XML Cite
Full Text: DOI
Löwe, Benedikt (ed.) et al., Models of computation in context. 7th conference on computability in Europe, CiE 2011, Sofia, Bulgaria, June 27 – July 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21874-3/pbk). Lecture Notes in Computer Science 6735, 81-91 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 315-326 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Zheng, Xizhong (ed.) et al., Seventh international conference on computability and complexity in analysis, Zhenjiang, China, June 21–25, 2010. Proceedings. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 24, 29-40 (2010).
MSC:  03D78 03F60 26A15
PDF BibTeX XML Cite
Full Text: Link
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, 355-362 (2010).
PDF BibTeX XML Cite
Bauer, Andrej (ed.) et al., 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-12-5). OASIcs – OpenAccess Series in Informatics 11, 12 p., electronic only (2009).
PDF BibTeX XML Cite
Full Text: DOI
Bauer, Andrej (ed.) et al., 6th international conference on computability and complexity in analysis (CCA’09). Proceedings of the international conference, August 18–22, 2009, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-12-5). OASIcs – OpenAccess Series in Informatics 11, 12 p., electronic only (2009).
MSC:  03F60 03D78 03E15
PDF BibTeX XML Cite
Full Text: DOI

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
Biographic Reference
all top 3
Software