×

zbMATH — the first resource for mathematics

Found 143 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). 425-439 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Barucci, Valentina (ed.) et al., Numerical semigroups. Proceedings of the INdAM international meeting on numerical semigroups, IMNS 2018, Cortona, Italy, September 3–7, 2018. Cham: Springer. Springer INdAM Ser. 40, 231-258 (2020).
MSC:  14H55 20Mxx
PDF BibTeX XML Cite
Full Text: DOI
Decker, Wolfram (ed.) et al., Singularities and computer algebra. Festschrift for Gert-Martin Greuel on the occasion of his 70th birthday. Based on the conference, Lambrecht (Pfalz), Germany, June 2015. Cham: Springer (ISBN 978-3-319-28828-4/hbk; 978-3-319-28829-1/ebook). 329-351 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Bagarello, Fabio (ed.) et al., Non-Hermitian Hamiltonians in quantum physics. Selected contributions from the 15th international conference on non-Hermitian Hamiltonians in quantum physics, Palermo, Italy, May 18–23, 2015. Cham: Springer (ISBN 978-3-319-31354-2/hbk; 978-3-319-31356-6/ebook). Springer Proceedings in Physics 184, 123-142 (2016).
MSC:  81Q05 35Q55 81R05
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 32, 18 p. (2016).
MSC:  68Q42 03B40 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 6, 16 p. (2016).
MSC:  68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI
Perspectives in Logic. Cambridge: Cambridge University Press; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 978-1-107-16809-1/hbk; 978-1-316-71703-5/ebook). xiii, 447 p. (2016).
MSC:  03-02 03C45
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, 31-45 (2014).
MSC:  68N18 68Q65
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, 395-414 (2013).
MSC:  03B40 03F05
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, 316-331 (2013).
MSC:  68Q05 03F52 68Q10
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
Tiwari, Ashish (ed.), 23rd international conference on rewriting techniques and applications (RTA’12), Nagoya, Japan, May 28 – June 2, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 15, 288-304 (2012).
MSC:  03B40
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, 141-152 (2012).
MSC:  68N18 68Q65
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, 67-84, electronic only (2010).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI Link
Abel, Andreas (ed.) et al., Proceedings of the 3rd international workshop on logical frameworks and metalanguages: theory and practice (LFMTP 2008), Pittsburgh, PA, USA, June 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 228, 21-36 (2009).
MSC:  68N18 68N15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Curien, Pierre-Louis (ed.), Typed lambda calculi and applications. 9th international conference, TLCA 2009, Brasilia, Brazil, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02272-2/pbk). Lecture Notes in Computer Science 5608, 234-248 (2009).
MSC:  03B40
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, 109-129 (2008).
MSC:  18B20 68Q70
PDF BibTeX XML Cite
Full Text: DOI
Selinger, Peter (ed.), Proceedings of the 3rd international workshop on quantum programming languages (QPL 2005), DePaul University, Chicago, IL, USA, June 30 – July 1, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 170, 23-47 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Corradini, Flavio (ed.) et al., Proceedings of the workshop on logic, models and computer science (LMCS 2006), Camerino, Italy, April 20–22, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 169, 19-32 (2007).
MSC:  03B40 03F05 68N18
PDF BibTeX XML Cite
Full Text: Link
Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 258-267 (2007).
MSC:  03F05 03B40
PDF BibTeX XML Cite
Full Text: DOI
Ésik, Zoltán (ed.), Computer science logic. 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25–29, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-45458-8/pbk). Lecture Notes in Computer Science 4207, 441-455 (2006).
MSC:  03B15 03F05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 64-76 (2004).
MSC:  68N18 03B40
PDF BibTeX XML Cite
Full Text: DOI
Horvárth, Lajos (ed.) et al., Asymptotic methods in stochastics. Festschrift for Miklós Csörgő. Proceedings of the international conference, held in honour of the work of Miklós Csörgő on the occasion of his 70th birthday, Ottawa, Canada, May 23–25, 2002. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3561-0/hbk). Fields Institute Communications 44, 245-263 (2004).
MSC:  60F05 60G50 60G70
PDF BibTeX XML Cite
Monografías del Seminario Matemático “García de Galdeano”. 21. Zaragoza: Univ. de Zaragoza, Seminario Matematico “Garcia de Galdeano”. ii, 202 p. (2001).
PDF BibTeX XML 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