×

zbMATH — the first resource for mathematics

Found 73 Documents (Results 1–73)

100
MathJax
Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 22, 13 p. (2016).
MSC:  68Q70 03G30 68Q55 68T15
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 353-365 (2015).
MSC:  03G30 03B15 03B45 03B70 03D05
PDF BibTeX XML Cite
Full Text: DOI
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 302-316 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 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. 9034, 151-166 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 3-23, electronic only (2014).
MSC:  68Q70 06A12 18B30 54B30
PDF BibTeX XML Cite
Full Text: DOI
Casadio, Claudia (ed.) et al., Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday. Berlin: Springer (ISBN 978-3-642-54788-1/pbk). Lecture Notes in Computer Science 8222, 211-234 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Abramsky, Samson (ed.) et al., Automata, languages and programming. 37th international colloquium, ICALP 2010, Bordeaux, France, July 6–10, 2010. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-14161-4/pbk). Lecture Notes in Computer Science 6199, 381-392 (2010).
MSC:  68Q70 03G30 18C20
PDF BibTeX XML Cite
Full Text: DOI
Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 67-81 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Fiadeiro, José Luiz (ed.) et al., Algebra and coalgebra in computer science. First international conference, CALCO 2005, Swansea, UK, September 3–6, 2005. Proceedings. Berlin: Springer (ISBN 3-540-28620-9/pbk). Lecture Notes in Computer Science 3629, 213-231 (2005).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 31st Iranian mathematics conference, Tehran, Islamic Republic of Iran, August 27-30, 2000. Tehran: University of Tehran, 292-299 (2000).
PDF BibTeX XML Cite
Bezem, Marc (ed.) et al., Typed Lambda calculi and applications. International conference, TLCA ’93, March 16-18, 1993, Utrecht, the Netherlands. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 664, 179-194 (1993).
MSC:  03G30 03B40 18B25 68Q45 03B15
PDF BibTeX XML Cite
Lecture Notes in Computer Science, 389. Berlin etc.: Springer-Verlag. VI, 365 p. DM 52.00 (1989).
Reviewer: A.Wiweger
PDF BibTeX XML Cite
Full Text: DOI

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