×

zbMATH — the first resource for mathematics

Found 141 Documents (Results 1–100)

100
MathJax
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 317-334 (2019).
MSC:  03F52 03F07 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 297-316 (2019).
MSC:  03B70 03F52
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 113, 15 p. (2018).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Kirchner, Hélène (ed.), 3rd international conference on formal structures for computation and deduction, FSCD 2018, July 9–12, 2018, Oxford, United Kingdom. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 108, Article 23, 17 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
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). 175-184 (2018).
MSC:  68-XX
PDF BibTeX XML Cite
Full Text: DOI
Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 311-327 (2017).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 168-186 (2017).
MSC:  68N30
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). 307-316 (2016).
MSC:  68T15 03B35 06B23 68N30
PDF BibTeX XML Cite
Full Text: DOI
Kesner, Delia (ed.) et al., 1st international conference on formal structures for computation and deduction, FSCD 2016, Porto, Portugal, June 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-010-1). LIPIcs – Leibniz International Proceedings in Informatics 52, Article 31, 17 p. (2016).
MSC:  68Q45 68Q65 68T15
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). 351-363 (2016).
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, 143-159 (2015).
MSC:  68Q42 03B70 68T15
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, 106-126 (2015).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 226-240 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 336-351 (2015).
MSC:  03B40 03G30
PDF BibTeX XML Cite
Full Text: DOI arXiv
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). 127-139 (2015).
MSC:  68N30 03B70 68N18
PDF BibTeX XML Cite
Full Text: DOI
Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 183-198, electronic only (2015).
MSC:  68N30 18C20
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). 421-432 (2015).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 65-82 (2015).
MSC:  68Q85 68N18
PDF BibTeX XML Cite
Full Text: DOI
Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9034, 41-55 (2015).
MSC:  03B47 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Levy, Paul (ed.) et al., Proceedings of the fifth workshop on mathematically structured functional programming, MSFP 2014, Grenoble, France, April 12, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 153, 143-167 (2014).
MSC:  68N18 68N15
PDF BibTeX XML Cite
Full Text: Link
Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 121-148, electronic only (2014).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI
Shao, Zhong (ed.), Programming languages and systems. 23rd European symposium on programming, ESOP 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54832-1/pbk). Lecture Notes in Computer Science 8410, 209-228 (2014).
MSC:  68N30 68N18
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). 297-308 (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). 233-242 (2013).
MSC:  68T15 03B70
PDF BibTeX XML Cite
Full Text: DOI
Danielsson, Nils Anders (ed.) et al., 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8–11, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-49-1). LIPIcs – Leibniz International Proceedings in Informatics 19, 55-69 (2013).
MSC:  68Q65 68T15
PDF BibTeX XML Cite
Full Text: DOI
Danielsson, Nils Anders (ed.) et al., 18th international workshop on types for proofs and programs. Papers from the workshop (TYPES 2011), Bergen, Norway, September 8–11, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-49-1). LIPIcs – Leibniz International Proceedings in Informatics 19, 16-27 (2013).
MSC:  03B40 68Q42 68T15
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, 185-196 (2013).
MSC:  68N18 03B70 68P05
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). 457-468 (2013).
MSC:  68Q45 68Q85
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). 193-206 (2013).
MSC:  68T15 06B99 68N18 68N30
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). 27-38 (2013).
MSC:  68N18 68N15
PDF BibTeX XML Cite
Full Text: DOI
Sahai, Amit (ed.), Theory of cryptography. 10th theory of cryptography conference, TCC 2013, Tokyo, Japan, March 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36593-5/pbk). Lecture Notes in Computer Science 7785, 539-558 (2013).
MSC:  94A60 68M12
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 127-138 (2012).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Cambridge Tracts in Theoretical Computer Science 52. Cambridge: Cambridge University Press (ISBN 978-1-107-00497-9/hbk). xiii, 326 p. (2012).
PDF BibTeX XML Cite
Baeten, Jos C. M. (ed.) et al., Theoretical computer science. 7th IFIP TC 1/WG 2.2 international conference, TCS 2012, Amsterdam, The Netherlands, September 26–28, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33474-0/pbk). Lecture Notes in Computer Science 7604, 87-103 (2012).
MSC:  68Q85
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, 237-246 (2011).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 385-398 (2011).
MSC:  68Q45 03B70
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, 352-366, electronic only (2011).
MSC:  68N17 68N19 68Q55
PDF BibTeX XML Cite
Full Text: DOI Link
Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 111-127 (2011).
MSC:  68N17 68Q65
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, 285-296 (2010).
MSC:  68Q42 68N18 68N20
PDF BibTeX XML Cite
Full Text: DOI
Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 39-48 (2010).
MSC:  68N30 03F25 68N18
PDF BibTeX XML Cite
Full Text: DOI
Bolduc, Claude (ed.) et al., Mathematics of program construction. 10th international conference, MPC 2010, Québec City, Canada, June 21–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13320-6/pbk). Lecture Notes in Computer Science 6120, 310-330 (2010).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
De Schreye, Danny (ed.), Logic-based program synthesis and transformation. 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-12591-1/pbk). Lecture Notes in Computer Science 6037, 82-96 (2010).
MSC:  68N30 68N17
PDF BibTeX XML Cite
Full Text: DOI
Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 132-146 (2009).
MSC:  03F60 03D78 68N30
PDF BibTeX XML Cite
Full Text: DOI
Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 272-288 (2009).
MSC:  68T15 03B15 68Q65 68N18
PDF BibTeX XML Cite
Full Text: DOI
Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 1-18 (2009).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 189-200 (2008).
MSC:  68N18 68N15 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Giesl, J. (ed.), Proceedings of the 7th international workshop on reduction strategies in rewriting and programming (WRS 2007), Paris, France, June 25, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 204, 83-98 (2008).
MSC:  68N30 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 153-174 (2008).
MSC:  68Q65
PDF BibTeX XML Cite
Full Text: DOI
Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 25-47 (2008).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software