×

zbMATH — the first resource for mathematics

Found 725 Documents (Results 1–100)

100
MathJax
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). 859-872 (2020).
MSC:  68
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, 223-234 (2019).
MSC:  68Q45
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, 86-97 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Gąsieniec, Leszek Antoni (ed.) et al., Fundamentals of computation theory. 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12–14, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-25026-3/pbk; 978-3-030-25027-0/ebook). Lecture Notes in Computer Science 11651, 80-94 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Charikar, Moses (ed.) et al., Proceedings of the 51st annual ACM SIGACT symposium on theory of computing, STOC ’19, Phoenix, AZ, USA, June 23–26, 2019. New York, NY: Association for Computing Machinery (ACM). 322-333 (2019).
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
McQuillan, Ian (ed.) et al., Unconventional computation and natural computation. 18th international conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19310-2/pbk; 978-3-030-19311-9/ebook). Lecture Notes in Computer Science 11493, 257-271 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
McQuillan, Ian (ed.) et al., Unconventional computation and natural computation. 18th international conference, UCNC 2019, Tokyo, Japan, June 3–7, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-19310-2/pbk; 978-3-030-19311-9/ebook). Lecture Notes in Computer Science 11493, 52-64 (2019).
MSC:  68Q05 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 414-421 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Konstantinidis, Stavros (ed.) et al., Descriptional complexity of formal systems. 20th IFIP WG 1.02 international conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10952, 37-48 (2018).
MSC:  68Q45 20M35
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). 325-338 (2018).
MSC:  81P68 68Q12 81P45
PDF BibTeX XML Cite
Full Text: DOI
Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94811-9/pbk; 978-3-319-94812-6/ebook). Lecture Notes in Computer Science 10977, 324-338 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Câmpeanu, Cezar (ed.), Implementation and application of automata. 23rd international conference, CIAA 2018, Charlottetown, PE, Canada, July 30 – August 2, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-94811-9/pbk; 978-3-319-94812-6/ebook). Lecture Notes in Computer Science 10977, 109-120 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Wilde, Mark M. (ed.), 12th conference on the theory of quantum computation, communication and cryptography, TQC 2017, June 14–16, 2017, Paris, France. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 73, Article 2, 17 p. (2018).
MSC:  81P15 68Q12 81Q80
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 74, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 269-285 (2017).
MSC:  90C40 68Q25 68W40
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 31, 16 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 104, 14 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Takagi, Tsuyoshi (ed.) et al., Advances in cryptology – ASIACRYPT 2017. 23rd international conference on the theory and applications of cryptology and information security, Hong Kong, China, December 3–7, 2017. Proceedings. Part II. Cham: Springer (ISBN 978-3-319-70696-2/pbk; 978-3-319-70697-9/ebook). Lecture Notes in Computer Science 10625, 179-210 (2017).
MSC:  81P68 81P94 94A60
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