zbMATH — the first resource for mathematics

Found 18 Documents (Results 1–18)

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 3-14 (2013).
PDF BibTeX Cite
Full Text: DOI
Dissertationes Mathematicae Universitatis Tartuensis 64. Tartu: University of Tartu Press; Tartu: Univ. Tartu, Faculty of Mathematics and Computer Science (Diss.) (ISBN 978-9949-19-508-4/pbk; 978-9949-19-509-1/ebook). 137 p. (2010).
PDF BibTeX Cite
Full Text: Link Link
Zuck, Leonore D. (ed.) et al., Verification, model checking, and abstract interpretation. 4th international conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2575, 146-160 (2003).
MSC:  68Q60 68Q55
PDF BibTeX Cite
Full Text: Link
Bridges, D. S. (ed.) et al., Combinatorics, complexity, and logic. Proceedings of the 1st international conference on discrete mathematics and theoretical computer science, DMTCS ’96, Auckland, New Zealand, December 9-13, 1996. Berlin: Springer. 226-243 (1997).
MSC:  03G25 03B40 08B99
PDF BibTeX Cite
Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 66-94 (1992).
MSC:  68Q55 68N15
PDF BibTeX Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
all top 3