×

zbMATH — the first resource for mathematics

Found 264 Documents (Results 1–100)

100
MathJax
J. Math. Sci., New York 256, No. 1, 1-33 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 157, 8-41 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Algebra Logic 59, No. 3, 201-215 (2020); translation from Algebra Logika 59, No. 3, 293-314 (2020).
MSC:  03D45 03D25 03D30
PDF BibTeX XML Cite
Full Text: DOI
Algebra Logic 57, No. 4, 320-323 (2018); translation from Algebra Logika 57, No. 4, 492-498 (2018).
MSC:  03D45 03D25 03D30
PDF BibTeX XML Cite
Full Text: DOI
Russ. Math. 60, No. 12, 79-83 (2016); translation from Izv. Vyssh. Uchebn. Zaved., Mat. 2016, No. 12, 96-100 (2016).
MSC:  03D25 03D30 03D45
PDF BibTeX XML Cite
Full Text: DOI
Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform. 14, No. 1, 19-27 (2014); translation in J. Math. Sci., New York 211, No. 6, 738-746 (2015).
MSC:  03D25 03D45 03C35
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Language, life, limits. 10th conference on computability in Europe, CiE 2014, Budapest, Hungary, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8493, 143-152 (2014).
MSC:  03C57 03D45 03D25
PDF BibTeX XML Cite
Full Text: DOI
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). 114-127 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Cooper, S. Barry (ed.) et al., How the world computes. Turing centenary conference and 8th conference on computability in Europe, CiE 2012, Cambridge, UK, June 18–23, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30869-7/pbk). Lecture Notes in Computer Science 7318, 507-516 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Glymour, Clark (ed.) et al., Logic, methodology and philosophy of science. Proceedings of the 13th international congress, Beijing, China, August 2007. London: College Publications. 36-55 (2009).
MSC:  03D20 03D25 03D45
PDF BibTeX XML Cite
Brattka, V. (ed.) et al., Proceedings of the fifth international conference on computability and complexity in analysis (CCA 2008), Hagen, Germany, August 21–24, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 221, 3-15 (2008).
MSC:  03D45 03D78
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 413-422 (2006).
MSC:  68Q05 03D25 03D45
PDF BibTeX XML Cite
Full Text: DOI
Middeldorp, Aart (ed.) et al., Processes, terms and cycles: steps on the road to infinity. Essays dedicated to Jan Willem Klop on the occasion of his 60th birthday. Berlin: Springer (ISBN 3-540-30911-X/pbk). Lecture Notes in Computer Science 3838, 40-54 (2005).
MSC:  03B40 03D25 03D45
PDF BibTeX XML Cite
Full Text: DOI
Baaz, Matthias (ed.) et al., Logic colloquium ’01. Proceedings of the annual European summer meeting of the Association for Symbolic Logic (ASL), Vienna, Austria, August 6–11, 2001. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ISBN 1-56881-247-7/hbk; 1-56881-248-5/pbk). Lecture Notes in Logic 20, 369-385 (2005).
MSC:  03D45 28A78 68Q30
PDF BibTeX XML Cite
Freivalds, Rūsiņš (ed.), Fundamentals of computation theory. 13th international symposium, FCT 2001, Riga, Latvia, August 22-24, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2138, 408-411 (2001).
MSC:  03D45 03D25 03D35
PDF BibTeX XML Cite
Cholak, Peter A. (ed.) et al., Computability theory and its applications. Current trends and open problems. Proceedings of a 1999 AMS-IMS-SIAM joint summer research conference, Boulder, CO, USA, June 13-17, 1999. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 257, 95-125 (2000).
PDF BibTeX XML Cite
Chong, C. T. (ed.) et al., Proceedings of the 6th Asian logic conference, Beijing, China, May 20-24, 1996. Singapore: World Scientific. 31-45 (1998).
MSC:  03D45 03D25 06A06
PDF BibTeX XML Cite
Ershov, Y. (ed.) et al., Algebra. Proceedings of the third international conference on algebra, Krasnoyarsk, Russia, August 23-28, 1993. Berlin: Walter de Gruyter. 21-33 (1996).
MSC:  03D45 03D25
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