×

zbMATH — the first resource for mathematics

Found 31 Documents (Results 1–31)

100
MathJax
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). 193-206 (2013).
MSC:  68T15 06B99 68N18 68N30
PDF BibTeX XML Cite
Full Text: DOI
Crosilla, Laura (ed.) et al., From sets and types to topology and analysis. Towards practicable foundations for constructive mathematics. Based on the workshop, Venice, Italy, May 12–16, 2003. Oxford: Oxford University Press (ISBN 0-19-856651-4/hbk). Oxford Logic Guides 48, 23-40 (2005).
MSC:  03F65 03E70 03F35
PDF BibTeX XML Cite
Giuli, Eraldo (ed.), Categorical topology. Proceedings of the L’Aquila conference, August 31–September 4, 1994, L’Aquila, Italy. Dordrecht: Kluwer. 121-126 (1996).
MSC:  18A22 68Q65 18A30 18B30 18C10 68Q55
PDF BibTeX XML Cite
Institute for New Generation Computer Technology (ed.), 5th generation computer systems 1992. International conference, FGCS ’92. Japan 1992, Vol. 2. Amsterdam: IOS Press. 666-673 (1992).
MSC:  03B70 68Q60
PDF BibTeX XML Cite
Mosc. Univ. Mech. Bull. 36, No. 3-4, 64-67 (1981); translation from Vestn. Mosk. Univ., Ser. I 1981, No. 4, 76-80 (1981).
MSC:  74E30 74H45
PDF BibTeX XML Cite

Filter Results by …

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