×

zbMATH — the first resource for mathematics

Found 742 Documents (Results 1–100)

100
MathJax
Sedlár, Igor Igor (ed.) et al., The Logica yearbook 2019. Selected papers based on the presentations at the symposium Logica 2019, Hejnice, Czech Republic, June 24–28, 2019. London: College Publications (ISBN 978-1-84890-327-2/pbk). 193-204 (2020).
PDF BibTeX XML Cite
Sedlár, Igor (ed.) et al., The Logica yearbook 2018. Proceedings of the symposium Logica 2018, Hejnice Monastery, Czech Republic, June 18–22, 2018. London: College Publications (ISBN 978-1-84890-307-4/pbk). 83-100 (2019).
PDF BibTeX XML Cite
Gąsieniec, Leszek Antoni (ed.) et al., Fundamentals of computation theory. 22nd international symposium, FCT 2019, Copenhagen, Denmark, August 12–14, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-25026-3/pbk; 978-3-030-25027-0/ebook). Lecture Notes in Computer Science 11651, 64-79 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer (ISBN 978-3-030-32504-6/pbk; 978-3-030-32505-3/ebook). Lecture Notes in Computer Science 11884, 235-252 (2019).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Gudivada, Venkat N. (ed.) et al., Computational analysis and understanding of natural languages: principles, methods and applications. Amsterdam: Elsevier/North Holland (ISBN 978-0-444-64042-0/hbk; 978-0-444-64043-7/ebook). Handbook of Statistics 38, 3-14 (2018).
MSC:  91F20
PDF BibTeX XML Cite
Full Text: DOI
Fischer, Bernd (ed.) et al., Theoretical aspects of computing – ICTAC 2018. 15th international colloquium, Stellenbosch, South Africa, October 16–19, 2018. Proceedings. Cham: Springer (ISBN 978-3-030-02507-6/pbk; 978-3-030-02508-3/ebook). Lecture Notes in Computer Science 11187, 62-79 (2018).
MSC:  68Qxx
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 21, 19 p. (2017).
MSC:  03B35 03B38 03B40
PDF BibTeX XML Cite
Full Text: DOI
Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-54433-4/pbk; 978-3-662-54434-1/ebook). Lecture Notes in Computer Science 10201, 504-529 (2017).
MSC:  68Nxx
PDF BibTeX XML Cite
Full Text: DOI
Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 39-56 (2016).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53825-8/pbk; 978-3-662-53826-5/ebook). Lecture Notes in Computer Science 10054, 18-33 (2016).
MSC:  03B65 68T50
PDF BibTeX XML Cite
Full Text: DOI
Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53041-2/pbk; 978-3-662-53042-9/ebook). Lecture Notes in Computer Science 9804, 216-239 (2016).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 187-206 (2015).
MSC:  68W40
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 75-87 (2015).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Felty, Amy P. (ed.) et al., Automated deduction – CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1–7, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-21400-9/pbk; 978-3-319-21401-6/ebook). Lecture Notes in Computer Science 9195. Lecture Notes in Artificial Intelligence, 482-497 (2015).
MSC:  03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI
Drewes, Frank (ed.), Implementation and application of automata. 20th international conference, CIAA 2015, Umeå, Sweden, August 18–21, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-22359-9/pbk; 978-3-319-22360-5/ebook). Lecture Notes in Computer Science 9223, 35-48 (2015).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Collins, Tom (ed.) et al., Mathematics and computation in music. 5th international conference, MCM 2015, London, UK, June 22–25, 2015, Proceedings. Cham: Springer (ISBN 978-3-319-20602-8/pbk; 978-3-319-20603-5/ebook). Lecture Notes in Computer Science 9110. Lecture Notes in Artificial Intelligence, 115-121 (2015).
MSC:  00A65 68T05 68T10
PDF BibTeX XML Cite
Full Text: DOI
Gerdes, Kim (ed.) et al., Computational dependency theory. Selected papers from the international conference on dependency linguistics (Depling 2011), Barcelona, Spain, September 5–7, 2011. Amsterdam: IOS Press (ISBN 978-1-61499-351-3/hbk; 978-1-61499-352-0/ebook). Frontiers in Artificial Intelligence and Applications 258, 113-135 (2014).
MSC:  68T50 03B65 91F20
PDF BibTeX XML Cite
Full Text: DOI
Gerdes, Kim (ed.) et al., Computational dependency theory. Selected papers from the international conference on dependency linguistics (Depling 2011), Barcelona, Spain, September 5–7, 2011. Amsterdam: IOS Press (ISBN 978-1-61499-351-3/hbk; 978-1-61499-352-0/ebook). Frontiers in Artificial Intelligence and Applications 258, 93-112 (2014).
MSC:  68T50
PDF BibTeX XML Cite
Full Text: DOI
Gerdes, Kim (ed.) et al., Computational dependency theory. Selected papers from the international conference on dependency linguistics (Depling 2011), Barcelona, Spain, September 5–7, 2011. Amsterdam: IOS Press (ISBN 978-1-61499-351-3/hbk; 978-1-61499-352-0/ebook). Frontiers in Artificial Intelligence and Applications 258, 62-77 (2014).
MSC:  68T50 91F20
PDF BibTeX XML Cite
Full Text: DOI
Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 8th international conference, LATA 2014, Madrid, Spain, March 10–14, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8370, 222-235 (2014).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 18th ACM SIGPLAN international conference on functional programming, ICFP ’13, Boston, MA, USA, September 25–27, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2326-0). ACM SIGPLAN Notices 48, No. 9, 257-262 (2013).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Blazy, Sandrine (ed.) et al., Interactive theorem proving. 4th international conference, ITP 2013, Rennes, France, July 22–26, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39633-5/pbk). Lecture Notes in Computer Science 7998, 402-417 (2013).
MSC:  68T15 68N15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 413-424 (2012).
MSC:  68N18 68N15 68T15
PDF BibTeX XML Cite
Full Text: DOI
Studies in Logic (London) 40. Mathematical Logic and Foundations. London: College Publications (ISBN 978-1-84890-066-0/pbk). xv, 621 p., E16. (2012).
PDF BibTeX XML Cite
Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Coventry, UK, July 9–13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 214-226 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Coventry, UK, July 9–13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 201-213 (2012).
MSC:  68Q42
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
all top 3
Software