×

zbMATH — the first resource for mathematics

Found 562 Documents (Results 1–100)

100
MathJax
Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7018-9). Article No. 10, 11 p. (2020).
MSC:  68Q45 68Q60 93C30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 633-647 (2020).
MSC:  68
PDF BibTeX XML Cite
Full Text: DOI
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 133-147 (2019).
PDF BibTeX XML Cite
Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 462-478 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Aldroubi, Akram (ed.) et al., New trends in applied harmonic analysis. Volume 2. Harmonic analysis, geometric measure theory, and applications. Collected papers based on courses given at the 2017 CIMPA school, Buenos Aires, Argentina, July 31 – August 11, 2017. Cham: Birkhäuser. Appl. Numer. Harmon. Anal., 293-316 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Descriptional complexity of formal systems. 21st IFIP WG 1.02 international conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11612, 158-170 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Censor-Hillel, Keren (ed.) et al., Structural information and communication complexity. 26th international colloquium, SIROCCO 2019, L’Aquila, Italy, July 1–4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-24921-2/pbk; 978-3-030-24922-9/ebook). Lecture Notes in Computer Science 11639, 230-245 (2019).
MSC:  68Mxx 68R10
PDF BibTeX XML Cite
Full Text: DOI
Hackensack, NJ: World Scientific (ISBN 978-981-4525-65-7/hbk; 978-981-4525-67-1/ebook). xiv, 220 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 890-901 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-02507-6/pbk; 978-3-030-02508-3/ebook). Lecture Notes in Computer Science 11187, 292-312 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
O’Donnell, Ryan (ed.), 32nd computational complexity conference, CCC 2017, July 6–9, 2017, Riga, Latvia. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 79, Article 5, 32 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 106-124 (2017).
MSC:  03F52 68T15
PDF BibTeX XML Cite
Full Text: DOI
Pighizzini, Giovanni (ed.) et al., Descriptional complexity of formal systems. 19th IFIP WG 1.02 international conference, DCFS 2017, Milano, Italy, July 3–5, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-60251-6/pbk; 978-3-319-60252-3/ebook). Lecture Notes in Computer Science 10316, 65-76 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 67, 14 p. (2016).
MSC:  68Q45 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 61, 14 p. (2016).
MSC:  68Q45 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Raz, Ran (ed.), 31st conference on computational complexity, CCC’16, Tokyo, Japan, May 29 – June 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-008-8). LIPIcs – Leibniz International Proceedings in Informatics 50, Article 19, 14 p. (2016).
MSC:  68Q17 68Q15 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 168-179 (2016).
MSC:  68N18 68P10
PDF BibTeX XML Cite
Full Text: DOI
Han, Yo-Sub (ed.) et al., Implementation and application of automata. 21st international conference, CIAA 2016, Seoul, South Korea, July 19–22, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-40945-0/pbk; 978-3-319-40946-7/ebook). Lecture Notes in Computer Science 9705, 213-223 (2016).
MSC:  68Q45 68Q05 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th ACM conference on innovations in theoretical computer science, ITCS’16, Cambridge, MA, USA, January 14–16, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4057-1). 261-270 (2016).
MSC:  68Q15 68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Probst, Christian W. (ed.) et al., Semantics, logics, and calculi. Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Cham: Springer (ISBN 978-3-319-27809-4/pbk; 978-3-319-27810-0/ebook). Lecture Notes in Computer Science 9560, 313-343 (2016).
MSC:  68Qxx
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, 288-301 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 271-287, electronic only (2015).
MSC:  68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Shallit, Jeffrey (ed.) et al., Descriptional complexity of formal systems. 17th international workshop, DCFS 2015, Waterloo, ON, Canada, June 25–27, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-19224-6/pbk; 978-3-319-19225-3/ebook). Lecture Notes in Computer Science 9118, 46-57 (2015).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
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. 43, 10 p. (2014).
MSC:  68Q25 03B70 05C65
PDF BibTeX XML Cite
Full Text: DOI
Geffert, Viliam (ed.) et al., SOFSEM 2014: theory and practice of computer science. 40th international conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 26–29, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8327, 443-454 (2014).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Jürgensen, Helmut (ed.) et al., Descriptional complexity of formal systems. 16th international workshop, DCFS 2014, Turku, Finland, August 5–8, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-09703-9/pbk). Lecture Notes in Computer Science 8614, 330-341 (2014).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 16th ACM international conference on hybrid systems: computation and control, HSCC 2013, Philadelphia, PA, USA, April 8–11, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1567-8). 313-322 (2013).
MSC:  68Q60 68Q45 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 29-50 (2013).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2013, San Diego, CA, USA, January 6–8, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7734, 164-178 (2013).
MSC:  68N18 03B40 03F52
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