×

zbMATH — the first resource for mathematics

Found 247 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). 155-166 (2020).
MSC:  68-XX
PDF BibTeX Cite
Full Text: DOI
Hofheinz, Dennis (ed.) et al., Theory of cryptography. 17th international conference, TCC 2019, Nuremberg, Germany, December 1–5, 2019. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 11891, 471-501 (2019).
PDF BibTeX Cite
Full Text: DOI
Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10801, 186-213 (2018).
MSC:  68N30 68Q60
PDF BibTeX Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 385-403 (2017).
MSC:  68Q87 03B70 68N30 68T15
PDF BibTeX 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). 161-174 (2017).
MSC:  68Q60 03B70 68N30
PDF BibTeX 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). 145-160 (2017).
MSC:  68N30 68Q60 68Q87
PDF BibTeX 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). 130-144 (2017).
MSC:  68N19 68N30
PDF BibTeX Cite
Full Text: DOI
Weil, Pascal (ed.), Computer science – theory and applications. 12th international computer science symposium in Russia, CSR 2017, Kazan, Russia, June 8–12, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10304, 162-175 (2017).
MSC:  68Qxx
PDF BibTeX Cite
Full Text: DOI
Carro, Manuel (ed.) et al., Technical communications of the 32nd international conference on logic programming, ICLP 2016, October 16–21, 2016, New York, NY, USA. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 52, Article 15, 15 p. (2016).
MSC:  68N17
PDF BibTeX Cite
Full Text: DOI
Agha, Gul (ed.) et al., Quantitative evaluation of systems. 13th international conference, QEST 2016, Quebec City, QC, Canada, August 23–25, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-43424-7/pbk; 978-3-319-43425-4/ebook). Lecture Notes in Computer Science 9826, 191-206 (2016).
MSC:  68N19 68N30
PDF BibTeX Cite
Full Text: DOI
Ceselli, Alberto (ed.) et al., Extended abstracts of the 14th Cologne-Twente workshop on graphs and combinatorial optimization (CTW’16), Gargnano, Italy, June 6–8, 2016. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 55, 49-52 (2016).
MSC:  90C15 90C57
PDF BibTeX 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). 327-342 (2016).
PDF BibTeX Cite
Full Text: DOI
Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 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-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 364-389 (2016).
MSC:  68N30 68Q87
PDF BibTeX Cite
Full Text: DOI
Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 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-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 337-363 (2016).
MSC:  68N15 68Q55 68Q87
PDF BibTeX 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). 489-501 (2015).
PDF BibTeX Cite
Full Text: DOI
Italiano, F. (ed.) et al., Mathematical foundations of computer science 2015. 40th international symposium, MFCS 2015, Milan, Italy, August 24–28, 2015. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 9234, 307-318 (2015).
PDF BibTeX 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). 207-220 (2014).
PDF BibTeX Cite
Full Text: DOI
Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). iv, 185 p. (2011).
PDF BibTeX Cite
Full Text: Link
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, 319-331 (2011).
PDF BibTeX Cite
Full Text: DOI
Frasconi, Paolo (ed.) et al., Inductive logic programming. 20th international conference, ILP 2010, Florence, Italy, June 27–30, 2010. Revised papers. Berlin: Springer (ISBN 978-3-642-21294-9/pbk). Lecture Notes in Computer Science 6489. Lecture Notes in Artificial Intelligence, 30-37 (2011).
MSC:  68T05 68N17
PDF BibTeX Cite
Full Text: DOI
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 162-171, electronic only (2010).
MSC:  68N17 03B48 68T37
PDF BibTeX Cite
Full Text: DOI Link
Cousot, Radhia (ed.) et al., Static analysis. 17th international symposium, SAS 2010, Perpignan, France, September 14–16, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15768-4/pbk). Lecture Notes in Computer Science 6337, 390-406 (2010).
MSC:  68N19 68Q60 68Q87
PDF BibTeX Cite
Full Text: DOI
Spaccapietra, Stefano (ed.), Journal on Data Semantics XII. Berlin: Springer (ISBN 978-3-642-00684-5/pbk). Lecture Notes in Computer Science 5480. Journal Subline, 95-130 (2009).
MSC:  68T30 68M11 68T27
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 35th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’08, San Francisco, CA, USA, January 07–12, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-689-9). 323-335 (2008).
PDF BibTeX Cite
Full Text: DOI
Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 667-671 (2008).
MSC:  68N17
PDF BibTeX Cite
Full Text: DOI
Aldini, Alessandro (ed.) et al., Proceedings of the fifth workshop on quantitative aspects of programming languages (QAPL 2007), Braga, Portugal, March 24–25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 190, No. 3, 59-77 (2007).
MSC:  68N15 68Q87 68Q55
PDF BibTeX Cite
Full Text: DOI
Kramer, Stefan (ed.) et al., Inductive logic programming. 15th international conference, ILP 2005, Bonn, Germany, August 10–13, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28177-0/pbk). Lecture Notes in Computer Science 3625. Lecture Notes in Artificial Intelligence, 121-135 (2005).
MSC:  68T30 68N17
PDF BibTeX Cite
Full Text: DOI
Cambridge: Cambridge University Press (ISBN 0-521-75034-2/pbk). viii, 318 p. (2002).
PDF BibTeX Cite
Brookes, Stephen (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 20, electronic paper No. 12 (1999).
MSC:  68Q10
PDF BibTeX Cite
Full Text: Link
New York, NY: Springer. xxxiv, 652 p. (1998).
Reviewer: V.P.Gupta (Jaipur)
MSC:  62-01 62-07 62-04 65C99
PDF BibTeX Cite
Kracht, Marcus (ed.) et al., Advances in modal logic. Vol. 1. Selected papers of the 1st AiML conference, Free University of Berlin, Germany, October 1996. Stanford, CA: Center for the Study of Language and Information (CSLI). CSLI Lect. Notes. 87, 237-248 (1998).
PDF BibTeX Cite
21\(^o\) Colóquio Brasileiro de Matemática. Rio de Janeiro: Instituto de Matemática Pura e Aplicada (IMPA). vi, 100 p. (1997).
Reviewer: V.Arnăutu (Iaşi)
PDF BibTeX Cite
Peled, Doron A. (ed.) et al., Partial order methods in verification. DIMACS workshop, July 24-26, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 29, 233-257 (1997).
PDF BibTeX 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
all top 3
Software