×

zbMATH — the first resource for mathematics

Found 780 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). 141-154 (2020).
MSC:  68-XX
PDF BibTeX Cite
Full Text: DOI
Ju, Shier (ed.) et al., Nonclassical logics and their applications. Post-proceedings of the 8th international workshop on logic and cognition, WOLC 2016, Guangzhou, China, December 5–9, 2016. Singapore: Springer. Log. Asia: Stud. Log. Libr., 67-83 (2020).
MSC:  03Bxx
PDF BibTeX 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, 146-158 (2019).
MSC:  68Q45
PDF BibTeX Cite
Full Text: DOI
Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 54, 12 p. (2018).
MSC:  68Qxx
PDF BibTeX Cite
Full Text: DOI
Fractional Calculus in Applied Sciences and Engineering 4. Berlin: De Gruyter (ISBN 978-3-11-047281-3/hbk; 978-3-11-047398-8/ebook). xiii, 123 p. (2018).
PDF BibTeX Cite
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 407-425 (2017).
MSC:  03D05 03B25 68Q45
PDF BibTeX Cite
Full Text: DOI
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 11. Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, 2016. London: College Publications (ISBN 978-1-84890-201-5/pbk). 322-341 (2016).
MSC:  03B42 03F05
PDF BibTeX Cite
Angelov, Plamen (ed.) et al., Imprecision and uncertainty in information representation and processing. New tools based on intuitionistic fuzzy sets and generalized nets. Cham: Springer (ISBN 978-3-319-26301-4/hbk; 978-3-319-26302-1/ebook). Studies in Fuzziness and Soft Computing 332, 189-206 (2016).
MSC:  91B06
PDF BibTeX Cite
Full Text: DOI
Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9035, 658-674 (2015).
MSC:  68T15 03B25 03B35 03D05
PDF BibTeX Cite
Full Text: DOI
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 487-503 (2015).
MSC:  03B25 03D05 68T15
PDF BibTeX Cite
Full Text: DOI
Walsh, Toby (ed.), Algorithmic decision theory. 4th international conference, ADT 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23113-6/pbk; 978-3-319-23114-3/ebook). Lecture Notes in Computer Science 9346. Lecture Notes in Artificial Intelligence, 153-170 (2015).
MSC:  90B50 91B06 90C11
PDF BibTeX Cite
Full Text: DOI
Manea, Florin (ed.) et al., Combinatorics on words. 10th international conference, WORDS 2015, Kiel, Germany, September 14–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-23659-9/pbk; 978-3-319-23660-5/ebook). Lecture Notes in Computer Science 9304, 170-190 (2015).
MSC:  68R15 03B25 03B35 11B85 68T15
PDF BibTeX Cite
Full Text: DOI arXiv
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 25, 10 p. (2014).
PDF BibTeX Cite
Full Text: DOI
Zadnik Stirn, Lidija (ed.) et al., SOR ’13 proceedings. The 12th international symposium on operational research in Slovenia, Dolenjske Toplice, Slovenia, September 25–27, 2013. Ljubljana: Slovenian Society Informatika (SDI), Section for Operational Research (SOR) (ISBN 978-961-6165-40-2/pbk). 213-218 (2013).
MSC:  90B50
PDF BibTeX Cite
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, 3-12 (2013).
MSC:  68Q45 03B25 03D05 68N18 68T15
PDF BibTeX Cite
Full Text: DOI
Fontaine, Pascal (ed.) et al., Frontiers of combining systems. 9th international symposium, FroCoS 2013, Nancy, France, September 18–20, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40884-7/pbk). Lecture Notes in Computer Science 8152. Lecture Notes in Artificial Intelligence, 151-164 (2013).
MSC:  03B44 03B25 68Q25
PDF BibTeX 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