×

zbMATH — the first resource for mathematics

Found 62 Documents (Results 1–62)

100
MathJax
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
Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55385-5/pbk; 978-3-662-55386-2/ebook). Lecture Notes in Computer Science 10388, 92-109 (2017).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 374-386 (2017).
MSC:  03B40 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bertet, Karell (ed.) et al., Formal concept analysis. 14th international conference, ICFCA 2017, Rennes, France, June 13–16, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-59270-1/pbk; 978-3-319-59271-8/ebook). Lecture Notes in Computer Science 10308. Lecture Notes in Artificial Intelligence, 56-71 (2017).
MSC:  68T30
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). 243-255 (2015).
MSC:  68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 193-208 (2013).
MSC:  03B45 03G30
PDF BibTeX XML Cite
Full Text: DOI
Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 494-515 (2012).
MSC:  03B47
PDF BibTeX XML Cite
Bolander, Thomas (ed.) et al., Advances in modal logic. Vol. 9. Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, 2012. London: College Publications (ISBN 978-1-84890-068-4/pbk). 55-70 (2012).
MSC:  03B45
PDF BibTeX XML Cite
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 183-197, electronic only (2012).
MSC:  03F07 03B10
PDF BibTeX XML Cite
Full Text: DOI
Vardi, Moshe Y. (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 10th international conference, LPAR 2003, Almaty, Kazakhstan, September 22–26, 2003. Proceedings. Berlin: Springer (ISBN 3-540-20101-7/pbk). Lect. Notes Comput. Sci. 2850, 137-151 (2003).
MSC:  03B45
PDF BibTeX XML Cite
Sahadevan, R. (ed.) et al., Nonlinear systems. Proceedings of the 8th Ramanujan symposium on recent developments in nonlinear systems, University of Madras, Chennai, India, February 14–16, 2001. Boca Raton, FL: Chapman and Hall/CRC; New Delhi: Narosa Publishing House (ISBN 0-8493-1722-3; 81-7319-456-4). 125-136 (2002).
MSC:  37K35 37K10
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Year of Publication
all top 3
Classification
all top 3
Software