×

zbMATH — the first resource for mathematics

Found 212 Documents (Results 1–100)

100
MathJax
Alves, Sandra (ed.) et al., Selected papers of the 12th workshop on logical and semantic frameworks, with applications (LSFA 2017), Brasilia, Brazil, September 23–24, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 338, 203-218 (2018).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 109, 14 p. (2017).
Reviewer: Reviewer (Berlin)
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
Böckle, Gebhard (ed.) et al., Algorithmic and experimental methods in algebra, geometry, and number theory. Cham: Springer (ISBN 978-3-319-70565-1/hbk; 978-3-319-70566-8/ebook). 23-49 (2017).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI arXiv
Bonchi, Filippo (ed.) et al., 7th conference on algebra and coalgebra in computer science, CALCO 2017, June 14–16, 2017, Ljubljana, Slovenia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 72, Article 20, 20 p. (2017).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Carvalho, Joao Paulo (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. 16th international conference, IPMU 2016, Eindhoven, The Netherlands, June 20–24, 2016. Proceedings. Part II. Cham: Springer. Commun. Comput. Inf. Sci. 611, 61-68 (2016).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML 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, 202-228 (2016).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 39, 27-46 (2015).
Reviewer: Reviewer (Berlin)
MSC:  03B70 03B38 03B40
PDF BibTeX XML Cite
Full Text: DOI
Matthes, Ralph (ed.) et al., 19th international conference on types for proofs and programs, TYPES 2013, Toulouse, France, April 22–26, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-72-9). LIPIcs – Leibniz International Proceedings in Informatics 26, 169-187 (2014).
Reviewer: Reviewer (Berlin)
MSC:  03B15 03B70 68T15
PDF BibTeX XML Cite
Full Text: DOI
Casadio, Claudia (ed.) et al., Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday. Berlin: Springer (ISBN 978-3-642-54788-1/pbk). Lecture Notes in Computer Science 8222, 211-234 (2014).
Reviewer: Reviewer (Berlin)
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). 249-249 (2014).
MSC:  68T15 68-03 68N30 68Q60
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). 301-310 (2013).
Reviewer: Reviewer (Berlin)
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, 653-667 (2013).
Reviewer: Reviewer (Berlin)
MSC:  68T15 03B35
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, 93-108 (2013).
Reviewer: Reviewer (Berlin)
MSC:  03B40 03F52 18C20
PDF BibTeX XML Cite
Full Text: DOI
The Dolciani Mathematical Expositions 47. Washington, DC: Mathematical Association of America (MAA) (ISBN 978-0-88385-354-2/hbk; 978-1-61444-210-3/ebook). xiv, 513 p. (2012).
PDF BibTeX XML Cite
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 381-395, electronic only (2012).
Reviewer: Reviewer (Berlin)
MSC:  68T15
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, 135-157 (2011).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Kanazawa, Makoto (ed.) et al., The mathematics of language. 12th biennial conference, MOL 12, Nara, Japan, September 6–8, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23210-7/pbk). Lecture Notes in Computer Science 6878. Lecture Notes in Artificial Intelligence, 108-125 (2011).
Reviewer: Reviewer (Berlin)
MSC:  91F20 03B40 03B65
PDF BibTeX XML Cite
Full Text: DOI
Spektrum Sachbuch. Heidelberg: Spektrum Akademischer Verlag (ISBN 978-3-8274-2274-3/pbk; 978-3-8274-2275-0/ebook). xiii, 434 p. (2010).
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, 263-284 (2008).
Reviewer: Reviewer (Berlin)
MSC:  68Q05 03B40 18C20
PDF BibTeX XML Cite
Full Text: DOI
Leivant, Daniel (ed.) et al., Logic, language, information and computation. 14th international workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2–5, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73443-7/pbk). Lecture Notes in Computer Science 4576, 218-237 (2007).
Reviewer: Reviewer (Berlin)
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, 328-342 (2007).
Reviewer: Reviewer (Berlin)
MSC:  68T15 03B35 03B40
PDF BibTeX XML Cite
Full Text: DOI
Mints, G. (ed.) et al., Proceedings of the 13th workshop on logic, language, information and computation (WoLLIC 2006), Stanford, CA, USA, July 18–21, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 165, 121-132 (2006).
Reviewer: Reviewer (Berlin)
MSC:  03B35 03B15 68T15
PDF BibTeX XML Cite
Full Text: DOI
Giannessi, Franco (ed.) et al., Variational analysis and applications. Proceedings of the 38th conference of the School of Mathematics “G. Stampacchia” in memory of G. Stampacchia and J.-L. Lions, Erice, Italy, June 20–July 1, 2003. New York, NY: Springer (ISBN 0-387-24209-0/hbk; 0-387-24276-7/e-book ). Nonconvex Optimization and its Applications 79, 827-854 (2005).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’03, New Orleans, LA, USA, January 15–17, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-628-5). 150-159 (2003).
Reviewer: Reviewer (Berlin)
MSC:  68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 235-246 (2002).
Reviewer: Reviewer (Berlin)
MSC:  68N30 68N18 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 7th ACM SIGPLAN international conference on functional programming, ICFP ’02, Pittsburgh, PA, USA, October 4–6, 2002. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-487-8). ACM SIGPLAN Notices 37, No. 9, 218-229 (2002).
Reviewer: Reviewer (Berlin)
PDF BibTeX XML Cite
Full Text: DOI
Balakrishnan, A. V. (ed.), Semigroups of operators: theory and applications. Proceedings of the international conference in Newport Beach, CA, USA, December 14-18, 1998. Basel: Birkhäuser. Prog. Nonlinear Differ. Equ. Appl. 42, 259-272 (2000).
MSC:  47A60 47F05
PDF BibTeX XML Cite
Tiuryn, Jerzy (ed.), Foundations of software science and computation structures. 3rd international conference, FOSSACS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1784, 17-34 (2000).
Reviewer: Reviewer (Berlin)
MSC:  03B70 68Q60 68T15 03B15 68Q55
PDF BibTeX XML Cite
Bass, H. (ed.) et al., Algebraic \(K\)-theory and its applications. Proceedings of the workshop and symposium, ICTP, Trieste, Italy, September 1-19, 1997. Singapore: World Scientific. 313-336 (1999).
Reviewer: Reviewer (Berlin)
MSC:  19D06 18E35 19D55
PDF BibTeX XML Cite
Hofmann, Martin (ed.) et al., CTCS ’99. Conference on category theory and computer science, Edinburgh, GB, September 10-12, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 29, 19 p., electronic only (1999).
Reviewer: Reviewer (Berlin)
MSC:  18B35 03B47 06D22 18A30 18A40 18D05 18D15
PDF BibTeX XML Cite
Full Text: Link
Birkedal, Lars (ed.) et al., A tutorial workshop on realizability semantics and applications. A workshop associated to the federated logic conference, Trento, Italy, June 30 - July 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 23,1, 31 p., electronic only (1999).
Reviewer: Reviewer (Berlin)
MSC:  68Q55 68N18
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