×

zbMATH — the first resource for mathematics

Found 1,301 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) (ISBN 978-1-4503-7104-9). 662-675 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 27-44 (2019).
MSC:  68Q60 03B70 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Guerra, Esther (ed.) et al., Graph transformation. 12th international conference, ICGT 2019, held as part of STAF 2019, Eindhoven, the Netherlands, July 15–16, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11629, 111-127 (2019).
MSC:  68N30 68Q42 68T27
PDF BibTeX XML Cite
Full Text: DOI
Martín-Vide, Carlos (ed.) et al., Language and automata theory and applications. 13th international conference, LATA 2019, St. Petersburg, Russia, March 26–29, 2019, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11417, 356-367 (2019).
MSC:  68Q42 03B70
PDF BibTeX XML Cite
Full Text: DOI
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 25-45 (2019).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 11668. Berlin: Springer (ISBN 978-3-662-59647-0/pbk; 978-3-662-59648-7/ebook). ix, 117 p. (2019).
PDF BibTeX XML Cite
Full Text: DOI
Broaddus, N. (ed.) et al., Topological methods in group theory. Proceedings of the conference, Ohio State University, Columbus, OH, USA, June 16–20, 2014 in honor of Ross Geoghegan’s 70th birthday. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 451, 67-91 (2018).
PDF BibTeX XML Cite
Full Text: DOI
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, 115-131 (2018).
MSC:  68Q42 03B40 68N15
PDF BibTeX XML Cite
Full Text: DOI
Russo, Alessandra (ed.) et al., Fundamental approaches to software engineering. 21st international conference, FASE 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10802, 77-93 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Azamov, Abdulla (ed.) et al., Differential equations and dynamical systems. 2 USUZCAMP. Selected papers based on the presentations at the special session of the 2nd USA-Uzbekistan conference on analysis and mathematical physics, Urgench, Uzbekistan, August 8–12, 2017. Cham: Springer. Springer Proc. Math. Stat. 268, 25-40 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Moss, Lawrence S. (ed.) et al., Logic, language, information, and computation. 25th international workshop, WoLLIC 2018, Bogota, Colombia, July 24–27, 2018. Proceedings. Berlin: Springer (ISBN 978-3-662-57668-7/pbk; 978-3-662-57669-4/ebook). Lecture Notes in Computer Science 10944, 25-60 (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Texts in Computing 19. London: College Publications (ISBN 978-1-84890-280-0/pbk). xviii, 464 p. (2018).
MSC:  68-01 03B70 68N17 68Q05 68Q15 68Q17 68Q42 68Q45 68T15
PDF BibTeX XML Cite
Fioravanti, Fabio (ed.) et al., Logic-based program synthesis and transformation. 27th international symposium, LOPSTR 2017, Namur, Belgium, October 10–12, 2017. Revised selected papers. Cham: Springer (ISBN 978-3-319-94459-3/pbk; 978-3-319-94460-9/ebook). Lecture Notes in Computer Science 10855, 201-217 (2018).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 155-170 (2018).
MSC:  68Q60 68Q42 68T27
PDF BibTeX XML Cite
Full Text: DOI
Davenport, James H. (ed.) et al., Mathematical software – ICMS 2018. 6th international conference, South Bend, IN, USA, July 24–27, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-96417-1/pbk; 978-3-319-96418-8/ebook). Lecture Notes in Computer Science 10931, 1-10 (2018).
MSC:  68N15 68-04 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Lecture Notes in Computer Science 10950. Berlin: Springer (ISBN 978-3-662-57783-7/pbk; 978-3-662-57784-4/ebook). ix, 137 p. (2018).
PDF BibTeX XML Cite
Full Text: DOI
Gallagher, John P. (ed.) et al., Functional and logic programming. 14th international symposium, FLOPS 2018, Nagoya, Japan, May 9–11, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-90685-0/pbk; 978-3-319-90686-7/ebook). Lecture Notes in Computer Science 10818, 214-229 (2018).
MSC:  68N17 68N18
PDF BibTeX XML Cite
Full Text: DOI
Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 124-141 (2018).
MSC:  68R10 03B70 68Q42
PDF BibTeX XML Cite
Full Text: DOI
González-Meneses, Juan (ed.) et al., Algorithmic and geometric topics around free groups and automorphisms. Based on the summer school, Barcelona, Spain, September–December 2012. Cham: Birkhäuser/Springer. Adv. Courses in Math., CRM Barc., 43-110 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 22, 17 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 14, 16 p. (2017).
MSC:  03B40 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 9, 16 p. (2017).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 8, 20 p. (2017).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 6, 19 p. (2017).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 32, 15 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Benedikt, Michael (ed.) et al., 20th international conference on database theory, ICDT 2017, Venice, Italy, March 21–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-024-8). LIPIcs – Leibniz International Proceedings in Informatics 68, Article 1, 17 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Probst, Dieter (ed.) et al., Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9–13, 2013. Ontos Mathematical Logic 6. Berlin: De Gruyter. 5-40 (2016).
MSC:  03F05 68Q42 03F07
PDF BibTeX XML Cite
Full Text: DOI
Simian, Dana (ed.), Modelling and development of intelligent systems. Proceedings of the fourth international conference, Sibiu, Romania, October 28 – November 1, 2015. Sibiu: “Lucian Blaga” University Press. 130-143 (2016).
MSC:  68Q60 03B44 68Q42
PDF BibTeX XML Cite
Edinburgh Advanced Textbooks in Linguistics. Edinburgh: Edinburgh University Press (ISBN 978-0-7486-4044-7/hbk; 978-0-7486-4043-0/pbk; 978-0-7486-7777-1/ebook). xi, 258 p. (2016).
PDF BibTeX XML Cite
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). 739-748 (2016).
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). 447-456 (2016).
MSC:  03B40 03F52
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 22, 17 p. (2016).
MSC:  03B70 68Q42
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 14, 15 p. (2016).
MSC:  68Q42 03B70 68N30
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
Biographic Reference
all top 3
Software