×

zbMATH — the first resource for mathematics

Found 119 Documents (Results 1–100)

100
MathJax
Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 57-71 (2012).
MSC:  68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Abramsky, Samson (ed.) et al., Mathematical foundations of information flow. Clifford lectures on information flow in physics, geometry, logic and computation, Tulane University, New Orleans, LA, USA, March 12–15, 2008. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4923-1/hbk). Proceedings of Symposia in Applied Mathematics 71, 125-182 (2012).
PDF BibTeX XML Cite
Encyclopedia of Mathematics and Its Applications 93. Cambridge: Cambridge University Press (ISBN 0-521-80338-1/hbk). xxxvi, 591 p. (2003).
PDF BibTeX XML Cite
Full Text: DOI
Tiuryn, Jerzy (ed.), Foundations of software science and computation structures. 3rd international conference, FOSSACS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1784, 177-191 (2000).
MSC:  68Q85
PDF BibTeX XML Cite
Adámek, J. (ed.) et al., Workshop domains II, Braunschweig, Germany, May 3–5, 1996. Braunschweig: TU Braunschweig, Inf.-Ber., Tech. Univ. Braunschweig. 96-04, 221-238 (1996).
PDF BibTeX XML Cite
Brookes, Steve (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 1, 20 p. (1995).
MSC:  68Q55
PDF BibTeX XML Cite
Full Text: Link
Andima, Susan (ed.) et al., Papers on general topology and applications. Papers from the 8th summer conference at Queens College, New York, NY, USA, June 18–20, 1992. New York, NY: The New York Academy of Sciences. Ann. N. Y. Acad. Sci. 728, 78-95 (1994).
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