×

zbMATH — the first resource for mathematics

Found 1,046 Documents (Results 1–100)

100
MathJax
Manea, Florin (ed.) et al., Computing with foresight and industry. 15th conference on computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11558, 181-192 (2019).
MSC:  03D60
PDF BibTeX XML Cite
Full Text: DOI
Kari, Jarkko (ed.) et al., Unveiling dynamics and complexity. 13th conference on computability in Europe, CiE 2017, Turku, Finland, June 12–16, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10307, 198-209 (2017).
MSC:  03D10 03D60
PDF BibTeX XML Cite
Full Text: DOI
Day, Adam (ed.) et al., Computability and complexity. Essays dedicated to Rodney G. Downey on the occasion of his 60th birthday. Cham: Springer (ISBN 978-3-319-50061-4/pbk; 978-3-319-50062-1/ebook). Lecture Notes in Computer Science 10010, 455-466 (2017).
MSC:  03D60 03E15
PDF BibTeX XML Cite
Full Text: DOI
Memoirs of the American Mathematical Society 1135. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-1563-1/print; 978-1-4704-2822-8/ebook). viii, 92 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16813-8/hbk; 978-1-316-71705-9/ebook). xiii, 307 p. (2016).
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-16833-6/hbk; 978-1-316-71719-6/ebook). xiii, 394 p. (2016).
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
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16843-5/hbk; 978-1-316-71730-1/ebook). xv, 344 p. (2016).
MSC:  03-02 03D60 03D65
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-16824-4/hbk; 978-1-316-71711-0). xii, 480 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Chong, Chitat (ed.) et al., \(E\)-recursion, forcing and \(C^*\)-algebras. Hackensack, NJ: World Scientific (ISBN 978-981-4602-63-1/hbk; 978-981-4603-25-6/pbk; 978-981-4602-65-5/ebook). Lecture Notes Series. Institute for Mathematical Sciences. National University of Singapore 27, 183-217 (2014).
MSC:  03D60 03D65 03E40
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, 157-163 (2014).
PDF BibTeX XML Cite
Tributes 23. London: College Publications (ISBN 978-1-84890-130-8/hbk). xxii, 329 p. (2014).
PDF BibTeX XML Cite
Greenberg, Noam (ed.) et al., Effective mathematics of the uncountable. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-01451-0/hbk; 978-1-139-02859-2/ebook). Lecture Notes in Logic 41, 50-80 (2013).
MSC:  03D60 03C57 03D45
PDF BibTeX XML Cite
Greenberg, Noam (ed.) et al., Effective mathematics of the uncountable. Cambridge: Cambridge University Press; Ithaca, NY: Association for Symbolic Logic (ASL) (ISBN 978-1-107-01451-0/hbk; 978-1-139-02859-2/ebook). Lecture Notes in Logic 41, 33-49 (2013).
PDF BibTeX XML Cite
Full Text: arXiv
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, 273-283 (2013).
MSC:  03D05 03C57 03D60
PDF BibTeX XML Cite
Full Text: DOI arXiv
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, 161-170 (2013).
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, 135-146 (2013).
MSC:  03B40 03D60
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
Software