×

zbMATH — the first resource for mathematics

Found 436 Documents (Results 1–100)

100
MathJax
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 879-888 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer (ISBN 978-3-030-00388-3/pbk; 978-3-030-00389-0/ebook). Lecture Notes in Computer Science 11202, 34-55 (2018).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI
Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 6, 23 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Mastroeni, Isabella (ed.), Proceedings of the 6th international workshop on numerical and symbolic abstract domains, NSAD 2016, Edinburgh, UK, September 11, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 331, 41-55 (2017).
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). 374-386 (2017).
MSC:  03B40 68Q60
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). 218-231 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-52233-3/pbk; 978-3-319-52234-0/ebook). Lecture Notes in Computer Science 10145, 34-54 (2017).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bouajjani, Ahmed (ed.) et al., Verification, model checking, and abstract interpretation. 18th international conference, VMCAI 2017, Paris, France, January 15–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-52233-3/pbk; 978-3-319-52234-0/ebook). Lecture Notes in Computer Science 10145, 14-33 (2017).
MSC:  68Q60
PDF BibTeX XML Cite
Full Text: DOI
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 462-475 (2016).
MSC:  68N18 68Q45 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 298-310 (2016).
MSC:  68N18 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 405-422 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Fernández, Maribel (ed.), 26th international conference on rewriting techniques and applications, RTA’13, Warsaw, Poland, June 29 – July 1, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-85-9). LIPIcs – Leibniz International Proceedings in Informatics 36, 350-364 (2015).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Campêlo, Manoel (ed.) et al., LAGOS ’15. Selected papers of the 8th Latin-American algorithms, graphs, and optimization symposium, Praia das Fontes, Beberibe, Brazil, May 11–15, 2015. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 50, 3-8, electronic only (2015).
MSC:  03D05 68Q45 05C12 05C69 03B15
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. 78, 10 p. (2014).
MSC:  68Q60 68Q55 91A43
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). 619-631 (2014).
MSC:  68Q55 68Q60 03B70
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). 583-594 (2014).
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). 569-581 (2014).
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). 179-191 (2014).
MSC:  68Q60 68N30 68T15 68N20
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). 73-85 (2014).
MSC:  68Q60 68N15 68P05
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). 19-31 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Tannen, Val (ed.) et al., In search of elegance in the theory and practice of computation. Essays dedicated to Peter Buneman. Berlin: Springer (ISBN 978-3-642-41659-0/pbk; 978-3-642-41660-6/ebook). Lecture Notes in Computer Science 8000, 112-166 (2013).
MSC:  68N15 68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 331-342 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 561-574 (2013).
MSC:  68N30 03B70 68Q55 68Q60 68Q85 68T15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 417-430 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 101-114 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 75-86 (2013).
MSC:  68Q60 68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI
Lecroq, Thierry (ed.) et al., Combinatorial algorithms. 24th international workshop, IWOCA 2013, Rouen, France, July 10–12, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-642-45277-2/pbk). Lecture Notes in Computer Science 8288, 164-177 (2013).
MSC:  68R10 03B15 03B70 68Q17 68Q25 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38945-0/pbk). Lecture Notes in Computer Science 7941, 140-155 (2013).
MSC:  03B70 03F55
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). 275-284 (2012).
MSC:  68Q60 03B10 03B15 03C07 03C13 68Q19 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Dovier, Agostino (ed.) et al., Technical communications of the 28th international conference on logic programming (ICLP 2012), September 4–8, 2012, Budapest, Hungary. Papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-43-9). LIPIcs – Leibniz International Proceedings in Informatics 17, 119-129, electronic only (2012).
MSC:  68N30 68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., Modern applications of automata theory. Dedicated to the memory of Professor Priti Shankar. Foreword by Reinhard Wilhelm. Hackensack, NJ: World Scientific; Bangalore: IISc Press (ISBN 978-981-4271-04-2/hbk; 978-981-4271-05-9/ebook). IISc Research Monographs Series 2, 325-372 (2012).
MSC:  68Q45 68P05 68P10
PDF BibTeX XML Cite
Full Text: DOI
Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2012. 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32588-5/pbk). Lecture Notes in Computer Science 7464, 419-430 (2012).
MSC:  68Q60 03B15 05C05 05C75 68R10
PDF BibTeX XML Cite
Full Text: DOI
Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 4th IPM international conference, FSEN 2011, Tehran, Iran, April 20–22, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29319-1/pbk). Lecture Notes in Computer Science 7141, 80-95 (2012).
MSC:  68N30 68Q60 68Q87
PDF BibTeX XML Cite
Full Text: DOI
van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 190-205 (2013).
MSC:  03B40 03B25
PDF BibTeX XML Cite
Full Text: DOI
Haeusler, Edward Hermann (ed.) et al., Proceedings of the 5th workshop on logical and semantic frameworks, with applications (LSFA 2010), Natal, Brazil, August 31, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 269, 3-17 (2011).
MSC:  68T15 68Q60 68T20
PDF BibTeX XML Cite
Full Text: DOI
Capretta, Venanzio (ed.) et al., Proceedings of the second workshop on mathematically structured functional programming (MSFP 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 5, 3-17 (2011).
MSC:  68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI
Gallagher, John P. (ed.) et al., Technical communications of the 27th international conference on logic programming (ICLP 2011), Lexington, Kentucky, USA, July 6–10, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-31-6). LIPIcs – Leibniz International Proceedings in Informatics 11, 62-72, electronic only (2011).
MSC:  68T15 68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI Link
de Swart, Harrie (ed.), Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21069-3/pbk). Lecture Notes in Computer Science 6663, 280-293 (2011).
MSC:  68N18 03G15 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 353-364 (2010).
MSC:  68Q60 68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 199-210 (2010).
MSC:  68Q65 68P05 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 119-130 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 15th ACM SIGPLAN international conference on functional programming, ICFP ’10, Baltimore, MD, USA, September 27–29, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-794-3). ACM SIGPLAN Notices 45, No. 9, 333-344 (2010).
MSC:  68Q60 68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI
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, 103-118, electronic only (2010).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI Link
Jones, Cliff B. (ed.) et al., Reflections on the work of C. A. R. Hoare. Most papers based on the presentations at the meeting to celebrate Tony Hoare’s 75th birthday, Cambridge, UK, April 2009. London: Springer (ISBN 978-1-84882-911-4/hbk; 978-1-84882-912-1/ebook). 301-331 (2010).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Dawar, Anuj (ed.) et al., Computer science logic. 24th international workshop, CSL 2010, 19th annual conference of the EACSL, Brno, Czech Republic, August 23–27, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15204-7/pbk). Lecture Notes in Computer Science 6247, 366-380 (2010).
MSC:  68Q60 03B15 03B25
PDF BibTeX XML Cite
Full Text: DOI
Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 227-250 (2010).
MSC:  68Q60 03B15 03C13 68Q45 68-02
PDF BibTeX XML Cite
Full Text: DOI
Escobar, Santiago (ed.), Functional and constraint logic programming. 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11998-9/pbk). Lecture Notes in Computer Science 5979, 96-110 (2010).
MSC:  03B40 68N18
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 416-428 (2009).
MSC:  68N30 68N18 68Q60
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