×

zbMATH — the first resource for mathematics

Found 28 Documents (Results 1–28)

100
MathJax
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, 129-146, electronic only (2014).
MSC:  03D10 18B99 68Q05 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Chan, T-H. Hubert (ed.) et al., Theory and applications of models of computation. 10th international conference, TAMC 2013, Hong Kong, China, May 20–22, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38235-2/pbk). Lecture Notes in Computer Science 7876, 133-143 (2013).
MSC:  68Q05 03B40
PDF BibTeX XML Cite
Full Text: DOI
Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 11-33 (2010).
MSC:  18D20 03B40 08A55
PDF BibTeX XML Cite
Full Text: DOI
Cooper, S. Barry (ed.) et al., Models and computability. Invited papers from the Logic colloquium ’97, European meeting of the Association for Symbolic Logic, Leeds, UK, July 6-13, 1997. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 259, 389-405 (1999).
PDF BibTeX XML Cite
Dowek, Gilles (ed.) et al., Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1074, 57-73 (1996).
MSC:  03B40 08A55 03D20
PDF BibTeX XML Cite
Full Text: DOI
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