×

zbMATH — the first resource for mathematics

Found 230 Documents (Results 1–100)

100
MathJax
Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 49, 12 p. (2017).
PDF BibTeX XML Cite
Full Text: Link
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 63, 13 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Cambridge Tracts in Theoretical Computer Science 59. Cambridge: Cambridge University Press (ISBN 978-1-107-17789-5/hbk; 978-1-316-82318-7/ebook). xvi, 477 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 277-298 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 47-62 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Aerts, Diederik (ed.) et al., Probing the meaning of quantum mechanics. Superpositions, dynamics, semantics and identity. Based on the first international meeting on quantum mechanics and quantum information: physical, philosophical and logical approaches, Cagliari, Italy, July 23– 25, 2014. Hackensack, NJ: World Scientific (ISBN 978-981-3146-27-3/hbk; 978-981-3146-29-7/ebook). 259-279 (2016).
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, 156-170 (2015).
MSC:  68Q55 18C15
PDF BibTeX XML Cite
Full Text: DOI
Borgström, Johannes (ed.) et al., Proceedings of the combined 21st international workshop on expressiveness in concurrency and 11th workshop on structural operational semantics, EXPRESS/SOS 2014, Rome, Italy, September 1, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 160, 79-93 (2014).
PDF BibTeX XML Cite
Full Text: Link
Bonsangue, M. (ed.), Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Revised selected papers. Berlin: Springer (ISBN 978-3-662-44123-7/pbk; 978-3-662-44124-4/ebook). Lecture Notes in Computer Science 8446, 135-150 (2014).
MSC:  68N30 18C15 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Bonsangue, M. (ed.), Coalgebraic methods in computer science. 12th IFIP WG 1.3 international workshop, CMCS 2014, colocated with ETAPS 2014, Grenoble, France, April 5–6, 2014. Revised selected papers. Berlin: Springer (ISBN 978-3-662-44123-7/pbk; 978-3-662-44124-4/ebook). Lecture Notes in Computer Science 8446, 10-32 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Dowek, Gilles (ed.), Rewriting and typed lambda calculi. Joint international conference, RTA-TLCA 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 14–17, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8560, 334-348 (2014).
MSC:  68Q55 18C10 18C15
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). 633-645 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Banerjee, Anindya (ed.) et al., Semantics, abstract interpretation, and reasoning about programs: essays dedicated to David A. Schmidt on the occasion of his sixtieth birthday, Manhattan, Kansas, USA, September 19–20, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 129, 67-83 (2013).
MSC:  68N30 18C15 68Q55
PDF BibTeX XML Cite
Full Text: Link
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). 519-528 (2013).
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, 309-324 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 158-174 (2013).
MSC:  68Q55 18C15 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Algebra and coalgebra in computer science. 5th international conference, CALCO 2013, Warsaw, Poland, September 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40205-0/pbk). Lecture Notes in Computer Science 8089, 95-109 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 401-417 (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). 45-54 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Domenach, Florent (ed.) et al., Formal concept analysis. 10th international conference, ICFCA 2012, Leuven, Belgium, May 7–10, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-29891-2/pbk). Lecture Notes in Computer Science 7278. Lecture Notes in Artificial Intelligence, 148-163 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Corradini, Andrea (ed.) et al., Algebra and coalgebra in computer science. 4th international conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22943-5/pbk). Lecture Notes in Computer Science 6859, 208-221 (2011).
MSC:  18C15 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, B. (ed.) et al., Proceedings of the tenth workshop on coalgebraic methods in computer science (CMCS 2010). Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 264, No. 2, 3-23 (2010).
MSC:  68N30 18C15 18C50
PDF BibTeX XML Cite
Full Text: DOI
Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 193-217 (2009).
PDF BibTeX XML Cite
Full Text: DOI
de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 152-166 (2009).
MSC:  18C15 18C10 18C50
PDF BibTeX XML Cite
Full Text: DOI
Makinson, David (ed.) et al., Towards mathematical philosophy. Papers from the Studia Logica conference Trends in Logic IV, Toruń, Poland, September 1–4, 2006. Berlin: Springer (ISBN 978-1-4020-9083-7/hbk; 978-1-4020-9084-4/e-book). Trends in Logic–Studia Logica Library 28, 319-343 (2009).
MSC:  03A05 03B65
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, 253-264 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 437-458 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lausanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 542-557 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Seda, Anthony K. (ed.) et al., Proceedings of the third Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2004), Dublin, Ireland, July 22–23, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 161, 59-71 (2006).
MSC:  68Q55 18C10 18C15
PDF BibTeX XML Cite
Full Text: Link
Dissertationes Mathematicae Universitatis Tartuensis 49. Tartu: Tartu University Press; Tartu: Univ. Tartu, Faculty of Mathematics and Computer Science (Dissertation) (ISBN 9949-11-436-5/pbk). 119 p. (2006).
PDF BibTeX XML Cite
Birkedal, L. (ed.), Proceedings of the 10th conference on category theory in computer science (CTCS 2004), Copenhagen, Denmark, August 12–14, 2004. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 122, 147-170 (2005).
MSC:  68Q65 18C15 68Q55
PDF BibTeX XML Cite
Full Text: 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