×

zbMATH — the first resource for mathematics

Found 97 Documents (Results 1–97)

100
MathJax
Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 231-247 (2013).
MSC:  68N30 03B40 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 198-212, electronic only (2012).
MSC:  68N18 03F52 68Q25
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
Honsell, Furio (ed.) et al., Foundations of software science and computation structures. 4th international conference, FOSSACS 2001, held as part of the joint European conferences on theory and practice of software, ETAPS 2001, Genova, Italy, April 2-6, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2030, 184-198 (2001).
MSC:  03B40 03B25 68N18
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, 17-36 (1996).
MSC:  68Q42 03B40
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, 60-74 (1993).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Lecture Notes in Control and Information Sciences, 107. Berlin etc.: Springer-Verlag. vi, 208 p. DM 54.00 (1988).
Reviewer: K.Ichikawa
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