×

zbMATH — the first resource for mathematics

Found 1,584 Documents (Results 1–100)

100
MathJax
Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 337-353 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI
Fontaine, Pascal (ed.), Automated deduction – CADE 27. 27th international conference on automated deduction, Natal, Brazil, August 27–30, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-29435-9/pbk; 978-3-030-29436-6/ebook). Lecture Notes in Computer Science 11716. Lecture Notes in Artificial Intelligence, 319-336 (2019).
MSC:  03B35 68V15
PDF BibTeX XML Cite
Full Text: DOI
Dani, Shrikrishna G. (ed.) et al., Contributions in algebra and algebraic geometry. International conference on algebra, discrete mathematics and applications, Dr. Babasaheb Ambedkar Marathwada University, Aurangabad, Maharashtra, India, December 9–11, 2017. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 738, 135-138 (2019).
MSC:  16S15 16R10 16S50
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
Plotkin, Eugene (ed.), Groups, algebras and identities. Research workshop of the Israel Science Foundation ‘Groups, algebras and identities’. In honor of Boris Plotkin’s 90th birthday, Bar-Ilan University and The Hebrew University of Jerusalem, Israel, March 20–24, 2016. Providence, RI: American Mathematical Society (AMS); Ramat Gan: Bar-Ilan University (ISBN 978-1-4704-3713-8/pbk; 978-1-4704-5198-1/ebook). Contemporary Mathematics 726. Israel Mathematical Conference Proceedings, 1-76 (2019).
MSC:  20F67 16S15
PDF BibTeX XML Cite
Full Text: DOI
Thomsen, Michael Kirkedal (ed.) et al., Reversible computation. 11th international conference, RC 2019, Lausanne, Switzerland, June 24–25, 2019, Proceedings. Cham: Springer (ISBN 978-3-030-21499-9/pbk; 978-3-030-21500-2/ebook). Lecture Notes in Computer Science 11497, 67-83 (2019).
MSC:  68Q05 68Q10 81P68
PDF BibTeX XML Cite
Full Text: DOI
Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 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. 10801, 999-1026 (2018).
MSC:  68N20 68N18 68T15
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, 313-331 (2018).
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 19, 16 p. (2017).
MSC:  68Q42 68V15
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 7, 18 p. (2017).
MSC:  68Q42 68V15
PDF BibTeX XML Cite
Full Text: DOI
Eiter, Thomas (ed.) et al., LPAR-21. 21st international conference on logic for programming, artificial intelligence and reasoning, Maun, Botswana, May 8–12, 2017. Selected papers. Manchester: EasyChair. EPiC Series in Computing 46, 249-268 (2017).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Nigam, Vivek (ed.) et al., Proceedings of the 11th workshop on logical and semantic frameworks, with applications (LSFA 2016), Porto, Portugal, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 332, 131-148 (2017).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Guo, Jiong (ed.) et al., 11th international symposium on parameterized and exact computation (IPEC 2016), Aarhus, Denmark, August 24–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-023-1). LIPIcs – Leibniz International Proceedings in Informatics 63, Article 25, 12 p. (2017).
MSC:  68Q42 68Q25
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