×

zbMATH — the first resource for mathematics

Found 57 Documents (Results 1–57)

100
MathJax
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 335-344 (2012).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 17th ACM SIGPLAN international conference on functional programming, ICFP ’12, Copenhagen, Denmark, September 9–15, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1054-3). ACM SIGPLAN Notices 47, No. 9, 153-164 (2012).
MSC:  68N30 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Berichte aus der Informatik. Aachen: Shaker Verlag. vii, 217 S. (Univ. München, 1995) (1996).
PDF BibTeX XML Cite
The unified computation laboratory: modelling, specifications, and tools, Proc. Conf., Stirling/UK 1990, Inst. Math. Appl. Conf. Ser., New Ser. 35, 125-137 (1992).
MSC:  68Q60 68T20 68Q42
PDF BibTeX XML Cite
The unified computation laboratory: modelling, specifications, and tools, Proc. Conf., Stirling/UK 1990, Inst. Math. Appl. Conf. Ser., New Ser. 35, 111-124 (1992).
MSC:  68Q60 68N99 68T05
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