×

zbMATH — the first resource for mathematics

Found 87 Documents (Results 1–87)

100
MathJax
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 56, 9 p. (2014).
MSC:  03D32 03C57
PDF BibTeX XML Cite
Full Text: DOI
Dubucs, Jacques (ed.) et al., Constructivity and computability in historical and philosophical perspective. Dordrecht: Springer (ISBN 978-94-017-9216-5/hbk; 978-94-017-9217-2/ebook). Logic, Epistemology, and the Unity of Science 34, 95-134 (2014).
Reviewer: Liang Yu (Nanjing)
MSC:  68Q30
PDF BibTeX XML Cite
Full Text: DOI
Dubucs, Jacques (ed.) et al., Constructivity and computability in historical and philosophical perspective. Dordrecht: Springer (ISBN 978-94-017-9216-5/hbk; 978-94-017-9217-2/ebook). Logic, Epistemology, and the Unity of Science 34, 57-94 (2014).
Reviewer: Liang Yu (Nanjing)
MSC:  68Q30 94A15 94A17
PDF BibTeX XML Cite
Full Text: DOI
Ong, Luke (ed.) et al., Logic, language, information and computation. 19th international workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32620-2/pbk). Lecture Notes in Computer Science 7456, 246-256 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Dürr, Christoph (ed.) et al., STACS 2012. 29th international symposium on theoretical aspects of computer science, Paris, France, February 29th – March 3rd, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-35-4). LIPIcs – Leibniz International Proceedings in Informatics 14, 567-576, electronic only (2012).
PDF BibTeX XML Cite
Full Text: DOI
Zenil, Hector (ed.), Randomness through computation. Some answers, more questions. Hackensack, NJ: World Scientific (ISBN 978-981-4327-74-9/hbk; 978-981-4327-75-6/ebook). 159-169 (2011).
PDF BibTeX XML Cite
Full Text: Link arXiv
Calude, Christian S. (ed.) et al., Theoretical computer science. 6th IFIP WG 2.2 international conference, TCS 2010, held as a Part of the World Computer Congress (WCC 2010), Brisbane, Australia, September 20–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15239-9/hbk; 978-3-642-15240-5/ebook). IFIP Advances in Information and Communication Technology 323, 259-270 (2010).
MSC:  68Q30
PDF BibTeX XML Cite
Full Text: DOI
Arai, T. (ed.) et al., Proceedings of the 10th Asian logic conference, Kobe, Japan, September 1–6, 2008. Hackensack, NJ: World Scientific (ISBN 978-981-4293-01-3/hbk; 978-981-4293-02-0/ebook). 322-344 (2010).
MSC:  03D32 03D30 68Q30
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).
MSC:  03D32 68Q30
PDF BibTeX XML Cite
Full Text: DOI
Cenzer, D. (ed.) et al., Proceedings of the 3rd international conference on computability and complexity in analysis (CCA 2006), Gainesville, FL, USA, November 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 167, 275-287 (2007).
MSC:  03D32 68Q30
PDF BibTeX XML Cite
Full Text: DOI
Cenzer, D. (ed.) et al., Proceedings of the 3rd international conference on computability and complexity in analysis (CCA 2006), Gainesville, FL, USA, November 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 167, 117-130 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Goncharov, S. S. (ed.) et al., Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, August 16–19, 2005. Hackensack, NJ: World Scientific (ISBN 978-981-270-045-2/hbk). 215-232 (2006).
MSC:  03D80 68Q30
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, 1-14 (2000).
MSC:  03D80 03D28 68Q30
PDF BibTeX XML Cite
Apt, Krzysztof (ed.) et al., From universal morphisms to megabytes: a Baayen space odyssey. On the occasion of the retirement of Prof. Dr. P.C. Baayen. Amsterdam: CWI, 627-642 (1995).
Reviewer: H.Grimm (Jena)
PDF BibTeX XML Cite

Filter Results by …

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