×

zbMATH — the first resource for mathematics

Found 544 Documents (Results 1–100)

100
MathJax
Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 303-314 (2020).
MSC:  03D05 03D45
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, 275-287 (2019).
MSC:  03D05 03B25
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, 70-81 (2019).
MSC:  68Q70 20F10
PDF BibTeX XML Cite
Full Text: DOI
Cambridge Tracts in Theoretical Computer Science 60. Cambridge: Cambridge University Press (ISBN 978-1-108-48541-8/hbk; 978-1-108-75694-5/ebook). x, 304 p. (2019).
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 25, 16 p. (2017).
MSC:  68Q85 68Q45
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 115, 14 p. (2017).
MSC:  68Q70
PDF BibTeX XML Cite
Full Text: DOI
Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 24, 16 p. (2017).
MSC:  68Q55 18C50
PDF BibTeX XML Cite
Full Text: DOI
Klasing, Ralf (ed.) et al., Fundamentals of computation theory. 21st international symposium, FCT 2017, Bordeaux, France, September 11–13, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10472, 341-354 (2017).
MSC:  68Q45 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Charlier, Émilie (ed.) et al., Developments in language theory. 21st international conference, DLT 2017, Liège, Belgium, August 7–11, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10396, 332-344 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Carayol, Arnaud (ed.) et al., Implementation and application of automata. 22nd international conference, CIAA 2017, Marne-la-Vallée, France, June 27–30, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10329, 113-125 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 380-392 (2017).
MSC:  68Q45
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). 387-396 (2016).
MSC:  68Q70 03B70 03D05
PDF BibTeX XML Cite
Full Text: DOI
Lal, Akash (ed.) et al., 36th IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2016), Chennai, India, December 13–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-027-9). LIPIcs – Leibniz International Proceedings in Informatics 65, Article 13, 15 p. (2016).
MSC:  68Q45 03D05 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53131-0/pbk; 978-3-662-53132-7/ebook). Lecture Notes in Computer Science 9840, 114-124 (2016).
MSC:  68Q45 68Q70
PDF BibTeX XML Cite
Full Text: DOI
Brlek, Srečko (ed.) et al., Developments in language theory. 20th international conference, DLT 2016, Montréal, Canada, July 25–28, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9840, 77-88 (2016).
MSC:  68R15 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Gyssens, Marc (ed.) et al., Foundations of information and knowledge systems. 9th international symposium, FoIKS 2016, Linz, Austria, March 7–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9616, 211-234 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 10th international conference, LATA 2016, Prague, Czech Republic, March 14–18, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9618, 452-463 (2016).
MSC:  68Q45 20M35
PDF BibTeX XML Cite
Full Text: DOI
Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 530-541 (2014).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 518-529 (2014).
MSC:  68R15 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, 332-345 (2014).
MSC:  68Q45 92C42
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8370, 372-383 (2014).
MSC:  68Q45 03E15
PDF BibTeX XML Cite
Full Text: DOI
Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 377-388 (2013).
MSC:  68Q45 68Q60
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, 257-282 (2013).
MSC:  68Q65 68Q45 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Chatterjee, Krishnendu (ed.) et al., Mathematical foundations of computer science 2013. 38th international symposium, MFCS 2013, Klosterneuburg, Austria, August 26–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40312-5/pbk). Lecture Notes in Computer Science 8087, 123-134 (2013).
MSC:  68Q45 03B25 03D05
PDF BibTeX XML Cite
Full Text: DOI
Konstantinidis, Stavros (ed.), Implementation and application of automata. 18th international conference, CIAA 2013, Halifax, NS, Canada, July 16–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39273-3/pbk). Lecture Notes in Computer Science 7982, 24-35 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Fomin, Fedor V. (ed.) et al., Automata, languages, and programming. 40th international colloquium, ICALP 2013, Riga, Latvia, July 8–12, 2013, Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-39211-5/pbk). Lecture Notes in Computer Science 7966, 361-372 (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). 115-124 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 159-170 (2011).
MSC:  08A70 68Q70 16Y60
PDF BibTeX XML Cite
Full Text: DOI
Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 67-81, electronic only (2011).
MSC:  68Q70 03D05 20M35
PDF BibTeX XML Cite
Full Text: DOI Link

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