×

zbMATH — the first resource for mathematics

Found 204 Documents (Results 1–100)

100
MathJax
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-31037-0/pbk; 978-3-030-31038-7/ebook). Lecture Notes in Computer Science 11885, 3-21 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-17126-1/pbk; 978-3-030-17127-8/ebook). Lecture Notes in Computer Science 11425, 207-223 (2019).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-062-0). LIPIcs – Leibniz International Proceedings in Informatics 96, Article 3, 16 p. (2018).
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. 493-510 (2018).
MSC:  03B47 03G25 68Q45
PDF BibTeX XML Cite
Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 271-289 (2018).
MSC:  68Q45 03B70
PDF BibTeX XML Cite
Full Text: DOI
Desharnais, Jules (ed.) et al., Relational and algebraic methods in computer science. 17th international conference, RAMiCS 2018, Groningen, The Netherlands, October 29 – November 1, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-02148-1/pbk; 978-3-030-02149-8/ebook). Lecture Notes in Computer Science 11194, 280-297 (2018).
MSC:  68Qxx
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 28, 15 p. (2017).
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 66, 14 p. (2017).
MSC:  68Q70 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 557-571 (2017).
MSC:  68N30 68M10
PDF BibTeX XML Cite
Full Text: DOI
Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 16th international conference, RAMiCS 2017, Lyon, France, May 15–18, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57417-2/pbk; 978-3-319-57418-9/ebook). Lecture Notes in Computer Science 10226, 93-108 (2017).
MSC:  68Q55 03B44
PDF BibTeX XML Cite
Full Text: DOI
Bowen, Jonathan P. (ed.) et al., Unifying theories of programming. 6th international symposium, UTP 2016, Reykjavik, Iceland, June 4–5, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-52227-2/pbk; 978-3-319-52228-9/ebook). Lecture Notes in Computer Science 10134, 1-25 (2017).
MSC:  68N30
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 22, 13 p. (2016).
MSC:  68Q70 03G30 68Q55 68T15
PDF BibTeX XML Cite
Full Text: DOI
Harsha, Prahladh (ed.) et al., 35th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2015, Bangalore, India, December 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-97-2). LIPIcs – Leibniz International Proceedings in Informatics 45, 394-407 (2015).
MSC:  68Q45 68Q70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 328-341 (2015).
MSC:  68N20 68N19 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 357-368 (2015).
MSC:  68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 343-355 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 15th international conference, RAMiCS 2015, Braga, Portugal, September 28 – October 1, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-24703-8/pbk; 978-3-319-24704-5/pbk). Lecture Notes in Computer Science 9348, 3-26 (2015).
MSC:  68Qxx
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, 49-62 (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. 44, 10 p. (2014).
MSC:  68N30 68Q60 68Q70
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Language, life, limits. 10th conference on computability in Europe, CiE 2014, Budapest, Hungary, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8493, 73-83 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 83-100 (2014).
MSC:  68Q70 03B25
PDF BibTeX XML Cite
Full Text: DOI
Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 19-36 (2014).
MSC:  68Q85 68Q60 68Q70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 113-126 (2014).
MSC:  68N15 68Q60 68T15 68Q55 03B70
PDF BibTeX XML Cite
Full Text: DOI
Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 415-431 (2013).
MSC:  68Q70 18C10 18C20 18D10
PDF BibTeX XML Cite
Full Text: DOI
Gąsieniec, Leszek (ed.) et al., Fundamentals of computation theory. 19th international symposium, FCT 2013, Liverpool, UK, August 19–21, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40163-3/pbk). Lecture Notes in Computer Science 8070, 72-83 (2013).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Norderstedt: Books on Demand; Augsburg: Univ. Augsburg, Fakultät für Angewandte Informatik (ISBN 978-3-8391-2510-6/hbk). x, 204 p. (2009).
PDF BibTeX XML Cite
Full Text: Link
Berghammer, Rudolf (ed.) et al., Relations and Kleene algebra in computer science. 11th international conference on relational methods in computer science, RelMiCS 2009, and 6th international conference on applications of Kleene algebra, AKA 2009, Doha, Qatar, November 1–5, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04638-4/pbk). Lecture Notes in Computer Science 5827, 88-102 (2009).
MSC:  18C50
PDF BibTeX XML Cite
Full Text: DOI
Litvinov, G. L. (ed.) et al., Tropical and idempotent mathematics. International workshop TROPICAL-07, Moscow, Russia, August 25–30, 2007. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4782-4/pbk). Contemporary Mathematics 495, 317-342 (2009).
PDF BibTeX XML Cite

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