×

zbMATH — the first resource for mathematics

Found 114 Documents (Results 1–100)

100
MathJax
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 19, 16 p. (2017).
MSC:  68Q42 68V15
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 14, 16 p. (2017).
MSC:  03B40 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 6, 19 p. (2017).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI
Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 75-91 (2016).
MSC:  03B40 03F05
PDF BibTeX XML Cite
Full Text: DOI
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 221-236 (2016).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Alpuente, María (ed.), Logic-based program synthesis and transformation. 20th international symposium, LOPSTR 2010, Hagenberg, Austria, July 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-20550-7/pbk). Lecture Notes in Computer Science 6564, 1-20 (2011).
MSC:  68N30 68N18 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Palsberg, Jens (ed.), Semantics and algebraic specification. Essays dedicated to Peter D. Mosses on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-04163-1/pbk). Lecture Notes in Computer Science 5700, 297-314 (2009).
MSC:  68Q55 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2009. 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24–28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03815-0/pbk). Lecture Notes in Computer Science 5734, 464-476 (2009).
MSC:  03B40 68N18
PDF BibTeX XML Cite
Full Text: DOI
Bauer, Andrej (ed.) et al., Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22–25, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 218, 171-192 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Moss, Lawrence S. (ed.) et al., Proceedings of the joint meeting of the 6th conference on formal grammar and the 7th conference on mathematics of language, Helsinki, Finland, August 10–12, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 53, 322-333 (2004).
MSC:  68T27 68T50
PDF BibTeX XML Cite
Full Text: DOI
Ambler, S. J. (ed.) et al., MERLIN 2001. Proceedings of the workshop on mechanized reasoning about languages with variable binding (in connection with IJCAR 2001), Siena, Italy, June 18, 2001. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 58, No. 1, 18-36 (2001).
MSC:  68N18 68T15
PDF BibTeX XML Cite
Full Text: DOI
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, 109-123 (1996).
MSC:  68N18 68Q42
PDF BibTeX XML Cite
Full Text: DOI
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, 90-108 (1996).
MSC:  03B70 03B16 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 462-472 (1994).
MSC:  68Q42 03B40
PDF BibTeX XML Cite
Full Text: DOI
Lingas, Andrzej (ed.) et al., Automata, languages and programming. 20th international colloquium, ICALP 93, Lund, Sweden, July 5–9, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 700, 645-656 (1993).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

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