×

zbMATH — the first resource for mathematics

Found 39 Documents (Results 1–39)

100
MathJax
Lecture Notes in Computer Science 12448. Cham: Springer (ISBN 978-3-030-61738-7/pbk; 978-3-030-61739-4/ebook). xxi, 165 p. (2020).
MSC:  68-06 68Qxx 00B25
PDF BibTeX XML Cite
Full Text: DOI
Schuster, Peter M. (ed.) et al., Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der Deutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21–25, 2015 and the Dagstuhl seminar 16031 on well quasi-orders in computer science, Schloss Dagstuhl, Germany, January 17–22, 2016. Cham: Springer (ISBN 978-3-030-30228-3/hbk; 978-3-030-30229-0/ebook). Trends in Logic – Studia Logica Library 53, 29-54 (2020).
MSC:  03E 06A
PDF BibTeX XML Cite
Full Text: DOI
Filiot, Emmanuel (ed.) et al., Reachability problems. 13th international conference, RP 2019, Brussels, Belgium, September 11–13, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-30805-6/pbk; 978-3-030-30806-3/ebook). Lecture Notes in Computer Science 11674, 193-201 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Bezhanishvili, Guram (ed.) et al., Advances in modal logic. Vol. 12. Proceedings of the 12th conference (AiML 2018), Bern, Switzerland, August 27–31, 2018. London: College Publications. 43-62 (2018).
MSC:  03B45 03F03 03F20
PDF BibTeX XML Cite
van der Aalst, Wil (ed.) et al., Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57860-6/pbk; 978-3-319-57861-3/ebook). Lecture Notes in Computer Science 10258, 200-220 (2017).
MSC:  68Q85 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 467-476 (2016).
MSC:  68Q85 68Q25 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Ollinger, Nicolas (ed.) et al., 33rd symposium on theoretical aspects of computer science, STACS 2016, Orléans, France, February 17–20, 2016. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-001-9). LIPIcs – Leibniz International Proceedings in Informatics 47, Article 1, 13 p. (2016).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
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 97, 15 p. (2016).
MSC:  68Q45 03D05
PDF BibTeX XML Cite
Full Text: DOI
Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 32, 16 p. (2016).
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49629-9/pbk; 978-3-662-49630-5/ebook). Lecture Notes in Computer Science 9634, 445-461 (2016).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 56-67 (2015).
MSC:  68Q85 68Q25 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bojańczyk, Mikołaj (ed.) et al., Reachability problems. 9th international workshop, RP 2015, Warsaw, Poland, September 21–23, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24536-2/pbk; 978-3-319-24537-9/ebook). Lecture Notes in Computer Science 9328, 76-88 (2015).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 260-272 (2015).
MSC:  68Q25 91A80
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. 61, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Csuhaj-Varjú, Erzsébet (ed.) et al., Mathematical foundations of computer science 2014. 39th international symposium, MFCS 2014, Budapest, Hungary, August 25–29, 2014. Proceedings, Part I. Berlin: Springer. Lect. Notes Comput. Sci. 8634, 220-231 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 395-409 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 153-162 (2013).
PDF BibTeX XML Cite
Full Text: DOI
D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 319-333 (2013).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 5-24 (2013).
MSC:  68Q85 68Q25 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 273-288 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 355-364 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Murlak, Filip (ed.) et al., Mathematical foundations of computer science 2011. 36th international symposium, MFCS 2011, Warsaw, Poland, August 22–26, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22992-3/pbk). Lecture Notes in Computer Science 6907, 108-119 (2011).
MSC:  68Q60 68Q25 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 441-452 (2011).
MSC:  68Q60 03D20 03E05
PDF BibTeX XML Cite
Full Text: DOI
Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 49-68 (2011).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Maneth, Sebastian (ed.), Implementation and application of automata. 14th international conference, CIAA 2009, Sydney, Australia, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02978-3/pbk). Lecture Notes in Computer Science 5642, 115-124 (2009).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Ibarra, Oscar H. (ed.) et al., Developments in language theory. 10th international conference, DLT 2006, Santa Barbara, CA, USA, June 26–29, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35428-X/pbk). Lecture Notes in Computer Science 4036, 95-107 (2006).
MSC:  68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Ibarra, Oscar H. (ed.) et al., Implementation and application of automata. 11th international conference, CIAA 2006, Taipei, Taiwan, August 21–23, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-37213-4/pbk). Lecture Notes in Computer Science 4094, 253-264 (2006).
MSC:  68N20 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 3845. Berlin: Springer (ISBN 3-540-31023-1/pbk). xiii, 360 p. (2006).
MSC:  68-06 68Q45 00B25
PDF BibTeX XML Cite
Full Text: DOI
Hoffmann, Karl-Heinz (ed.) et al., Mathematik: Schlüsseltechnologie für die Zukunft. Verbundprojekte zwischen Universität und Industrie. Berlin: Springer. 177-189 (1997).
MSC:  74K15 74P99 74S05
PDF BibTeX XML Cite