×

zbMATH — the first resource for mathematics

Found 170 Documents (Results 1–100)

100
MathJax
J. Math. Sci., New York 252, No. 2, 213-224 (2021); translation from Itogi Nauki Tekh., Ser. Sovrem. Mat. Prilozh., Temat. Obz. 152, 91-102 (2018).
MSC:  47E05 39A10
PDF BibTeX XML Cite
Full Text: DOI
Hospodár, Michal (ed.) et al., Implementation and application of automata. 24th international conference, CIAA 2019, Košice, Slovakia, July 22–25, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11601, 95-107 (2019).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Lange, Tanja (ed.) et al., Progress in cryptology – LATINCRYPT 2017. 5th international conference on cryptology and information security in Latin America, Havana, Cuba, September 20–22, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-030-25282-3/pbk; 978-3-030-25283-0/ebook). Lecture Notes in Computer Science 11368, 271-288 (2019).
MSC:  94A60
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, 302-314 (2019).
MSC:  68Q45
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, 99-115 (2018).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
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, 3-20 (2017).
MSC:  68N30 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Larsen, Kim G. (ed.) et al., 42nd international symposium on mathematical foundations of computer science, MFCS 2017, August 21–25, 2017, Aalborg, Denmark. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 83, Article 77, 14 p. (2017).
MSC:  03B44 03D05
PDF BibTeX XML Cite
Full Text: DOI
Vollmer, Heribert (ed.) et al., 34th symposium on theoretical aspects of computer science (STACS 2017), Hannover, Germany, March 8–11, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-028-6). LIPIcs – Leibniz International Proceedings in Informatics 66, Article 33, 14 p. (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Drmota, Michael (ed.) et al., Extended abstracts of the ninth European conference on combinatorics, graph theory and applications, EuroComb 2017, Vienna, Austria, August 28 – September 1, 2017. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 61, 703-709 (2017).
MSC:  05A15
PDF BibTeX XML Cite
Full Text: DOI arXiv
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, 322-334 (2016).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 663-677 (2016).
MSC:  68N30 16Y60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 284-297 (2016).
MSC:  68N20 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Drewes, Frank (ed.), Implementation and application of automata. 20th international conference, CIAA 2015, Umeå, Sweden, August 18–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-22359-9/pbk; 978-3-319-22360-5/ebook). Lecture Notes in Computer Science 9223, 35-48 (2015).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 175-186 (2014).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Holzer, Markus (ed.) et al., Implementation and application of automata. 19th international conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08845-7/pbk). Lecture Notes in Computer Science 8587, 238-251 (2014).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 7th international conference, LATA 2013, Bilbao, Spain, April 2–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37063-2/pbk). Lecture Notes in Computer Science 7810, 202-213 (2013).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 179-194 (2012).
MSC:  68Q70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 385-398 (2011).
MSC:  68Q45 03B70
PDF BibTeX XML Cite
Full Text: DOI
Bouchou-Markhoff, Béatrice (ed.) et al., Implementation and application of automata. 16th international conference, CIAA 2011, Blois, France, July 13–16, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22255-9/pbk). Lecture Notes in Computer Science 6807, 76-87 (2011).
MSC:  68Q45 68Q25 68T20
PDF BibTeX XML Cite
Full Text: DOI
Domaratzki, Michael (ed.) et al., Implementation and application of automata. 15th international conference, CIAA 2010, Winnipeg, MB, Canada, August 12–15, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-18097-2/pbk). Lecture Notes in Computer Science 6482, 310-320 (2011).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 388-399, electronic only (2010).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI Link
Lynch, Christopher (ed.), Proceedings of the 21st international conference on rewriting techniques and applications (RTA 2010), July 11–13, 2010, Edinburgh, Scottland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-18-7). LIPIcs – Leibniz International Proceedings in Informatics 6, 193-208, electronic only (2010).
MSC:  68Q45 03B70
PDF BibTeX XML Cite
Full Text: DOI Link
López-Ortiz, Alejandro (ed.), LATIN 2010: Theoretical informatics. 9th Latin American symposium, Oaxaca, Mexico, April 19–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12199-9/pbk). Lecture Notes in Computer Science 6034, 208-221 (2010).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Ibarra, Oscar H. (ed.) et al., Implementation and applications of automata. 13th international conference, CIAA 2008, San Francisco, California, USA, July 21–24, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70843-8/pbk). Lecture Notes in Computer Science 5148, 46-56 (2008).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Fitzgerald, John S. (ed.) et al., Theoretical aspects of computing – ICTAC 2008. 5th international colloquium, Istanbul, Turkey, September 1–3, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85761-7/pbk). Lecture Notes in Computer Science 5160, 96-110 (2008).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Agrawal, Manindra (ed.) et al., Theory and applications of models of computation. 5th international conference, TAMC 2008, Xi’an, China, April 25–29, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79227-7/pbk). Lecture Notes in Computer Science 4978, 47-58 (2008).
MSC:  03B44 03D05 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 10th international conference on relational methods in computer science, and 5th international conference on applications of Kleene algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7–11, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78912-3/pbk). Lecture Notes in Computer Science 4988, 155-172 (2008).
MSC:  68Q70 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 192-200 (2006).
MSC:  68N18 68N15
PDF BibTeX XML Cite
Full Text: DOI
Apostolico, Alberto (ed.) et al., Combinatorial pattern matching. 16th annual symposium, CPM 2005, Jeju Island, Korea, June 19–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26201-6/pbk). Lecture Notes in Computer Science 3537, 322-333 (2005).
PDF BibTeX XML Cite
Full Text: DOI
Apostolico, Alberto (ed.) et al., Combinatorial pattern matching. 16th annual symposium, CPM 2005, Jeju Island, Korea, June 19–22, 2005. Proceedings. Berlin: Springer (ISBN 3-540-26201-6/pbk). Lecture Notes in Computer Science 3537, 310-321 (2005).
MSC:  68Q45 68Q17 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 111-122 (2004).
MSC:  68Q42
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