×

zbMATH — the first resource for mathematics

Found 65 Documents (Results 1–65)

100
MathJax
Kennedy, Juliette (ed.) et al., Logic, language, information, and computation. 24th international workshop, WoLLIC 2017, London, UK, July 18–21, 2017. Proceedings. Berlin: Springer (ISBN 978-3-662-55385-5/pbk; 978-3-662-55386-2/ebook). Lecture Notes in Computer Science 10388, 371-386 (2017).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Atmanspacher, Harald (ed.) et al., Quantum interaction. 9th international conference, QI 2015, Filzbach, Switzerland, July 15–17, 2015. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 9535, 245-257 (2016).
MSC:  81P40
PDF BibTeX XML Cite
Full Text: DOI
Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 39, 111-145 (2015).
MSC:  03G30 03B38 18C50
PDF BibTeX XML Cite
Full Text: DOI arXiv
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-87-3). LIPIcs – Leibniz International Proceedings in Informatics 38, 107-122 (2015).
MSC:  68N30 03B40 68N18 68Q55 68T15
PDF BibTeX XML Cite
Full Text: DOI
Ong, Luke (ed.), Typed lambda calculi and applications. 10th international conference, TLCA 2011, Novi Sad, Serbia, June 1–3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21690-9/pbk; 978-3-642-21691-6/ebook). Lecture Notes in Computer Science 6690, 61-75 (2011).
MSC:  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, 231-244 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 429-449 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Slovák, Jan (ed.) et al., The proceedings of the 20th winter school “Geometry and physics”, Srní, Czech Republic, January 15-22, 2000. Palermo: Circolo Matematico di Palermo, Suppl. Rend. Circ. Mat. Palermo, II. Ser. 66, 29-57 (2001).
MSC:  18D50 55P48 18C10
PDF BibTeX XML Cite
Full Text: arXiv
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
Brookes, S. (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 13th annual conference, MFPS, Carnegie Mellon Univ., Pittsburgh, PA, USA, March 23–26, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 6, 17 p. (1997).
MSC:  68Q55 03B05
PDF BibTeX XML Cite
Full Text: Link
Ursini, Aldo (ed.) et al., Logic and algebra. Proceedings of the international conference dedicated to the memory of Roberto Magari, April 26–30, 1994, Pontignano, Italy. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 180, 589-601 (1996).
MSC:  03B40
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, 15 p. (1995).
MSC:  68Q55
PDF BibTeX XML Cite
Full Text: Link
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, 15 p. (1995).
MSC:  18A40 68Q55 18D10 18C10 18A32
PDF BibTeX XML Cite
Full Text: Link
Bureš, J. (ed.) et al., Proceedings of the winter school on geometry and physics, Zdíkov, Czech Republic, January 1993. Palermo: Circolo Matematico di Palermo, Suppl. Rend. Circ. Mat. Palermo, II. Ser. 37, 121-151 (1994).
Reviewer: T.Porter (Bangor)
MSC:  18G60 16W30 18C10 18D10
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
Software