×

zbMATH — the first resource for mathematics

Found 1,185 Documents (Results 1–100)

100
MathJax
Weiss, Christina (ed.), Constructive semantics. Meaning in between phenomenology and constructivism. Based on the workshop, Friedrichshafen, Germany, September 30 – October 1, 2016. Cham: Springer (ISBN 978-3-030-21312-1/hbk; 978-3-030-21315-2/pbk; 978-3-030-21313-8/ebook). Logic, Epistemology, and the Unity of Science 44, 95-120 (2019).
MSC:  03A05
PDF BibTeX XML Cite
Full Text: DOI
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, 134-145 (2019).
MSC:  68Q45 68Q12 81P68
PDF BibTeX XML Cite
Full Text: DOI
Gheorghe, Marian (ed.) et al., Membrane computing. 18th international conference, CMC 2017, Bradford, UK, July 25–28, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-73358-6/pbk; 978-3-319-73359-3/ebook). Lecture Notes in Computer Science 10725, 88-104 (2018).
MSC:  68Q05 68Q10
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 23, 18 p. (2017).
MSC:  03D78 68Q15 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Ghosh, Sujata (ed.) et al., Logic and its applications. 7th Indian conference, ICLA 2017, Kanpur, India, January 5–7, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54068-8/pbk; 978-3-662-54069-5/ebook). Lecture Notes in Computer Science 10119, 211-223 (2017).
MSC:  03Bxx 68T27
PDF BibTeX XML Cite
Full Text: DOI
Adamatzky, Andrew (ed.), Emergent computation. A Festschrift for Selim G. Akl. Cham: Springer (ISBN 978-3-319-46375-9/hbk; 978-3-319-46376-6/ebook). Emergence, Complexity and Computation 24, 39-56 (2017).
MSC:  68Q15 68Q05 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 73-85 (2017).
MSC:  68N15 68N30 68Q05
PDF BibTeX XML Cite
Full Text: DOI
J. Math. Sci., New York 224, No. 2, 221-230 (2017); translation from Zap. Nauchn. Semin. POMI 448, 80-95 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Patitz, Matthew J. (ed.) et al., Unconventional computation and natural computation. 16th international conference, UCNC 2017, Fayetteville, AR, USA, June 5–9, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-58186-6/pbk; 978-3-319-58187-3/ebook). Lecture Notes in Computer Science 10240, 8-25 (2017).
MSC:  68Q05 68Q10
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, 14-23 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Princeton, NJ: Princeton University Press (ISBN 978-0-691-17600-0/pbk; 978-1-4008-4465-4/ebook). xii, 228 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Leporati, Alberto (ed.) et al., Membrane computing. 17th international conference, CMC 2016, Milan, Italy, July 25–29, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-54071-9/pbk; 978-3-319-54072-6/ebook). Lecture Notes in Computer Science 10105, 151-164 (2017).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Oxford: Oxford University Press (ISBN 978-0-19-874782-6/hbk; 978-0-19-874783-3/pbk). xv, 546 p. (2017).
PDF BibTeX XML Cite
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 93, 15 p. (2016).
MSC:  68P05 68Q05 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 384-398 (2015).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Vestn. St. Petersbg. Univ., Math. 48, No. 2, 72-74 (2015); translation from Vestn. St-Peterbg. Univ., Ser. I, Mat. Mekh. Astron. 2(60), No. 2, 190-193 (2015).
MSC:  68Q05 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 196-210 (2015).
MSC:  68Q05 03B40 18B25 68Q60
PDF BibTeX XML Cite
Full Text: DOI arXiv
Chaudhuri, Kamalika (ed.) et al., Algorithmic learning theory. 26th international conference, ALT 2015, Banff, AB, Canada, October 4–6, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24485-3/pbk; 978-3-319-24486-0/ebook). Lecture Notes in Computer Science 9355. Lecture Notes in Artificial Intelligence, 364-378 (2015).
MSC:  68T05 03D15 68Q30
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
all top 3
Software