×

zbMATH — the first resource for mathematics

Found 106 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 22, 17 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4–7, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-27682-3/pbk; 978-3-319-27683-0/ebook). Lecture Notes in Computer Science 9537, 146-158 (2016).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53825-8/pbk; 978-3-662-53826-5/ebook). Lecture Notes in Computer Science 10054, 211-227 (2016).
MSC:  03B65 68T50
PDF BibTeX XML Cite
Full Text: DOI
Amblard, Maxime (ed.) et al., Logical aspects of computational linguistics. Celebrating 20 years of LACL (1996–2016). 9th international conference, LACL 2016, Nancy, France, December 5–7, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53825-8/pbk; 978-3-662-53826-5/ebook). Lecture Notes in Computer Science 10054, 68-84 (2016).
MSC:  03B65 68T50
PDF BibTeX XML Cite
Full Text: DOI
Foret, Annie (ed.) et al., Formal grammar. 20th and 21st international conferences, FG 2015, Barcelona, Spain, August 2015. Revised selected papers. FG 2016, Bozen, Italy, August 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-53041-2/pbk; 978-3-662-53042-9/ebook). Lecture Notes in Computer Science 9804, 240-256 (2016).
MSC:  68Q42
PDF BibTeX XML Cite
Full Text: DOI arXiv
van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 229-249 (2014).
MSC:  91F20
PDF BibTeX XML Cite
Full Text: DOI
Casadio, Claudia (ed.) et al., Categories and types in logic, language, and physics. Essays dedicated to Jim Lambek on the occasion of his 90th birthday. Berlin: Springer (ISBN 978-3-642-54788-1/pbk). Lecture Notes in Computer Science 8222, 253-267 (2014).
MSC:  03G25
PDF BibTeX XML Cite
Full Text: DOI
Kahl, Wolfram (ed.) et al., Relational and algebraic methods in computer science. 13th international conference, RAMiCS 2012, Cambridge, UK, September 17–20, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-33313-2/pbk). Lecture Notes in Computer Science 7560, 207-218 (2012).
MSC:  06F07
PDF BibTeX XML Cite
Full Text: DOI
Coecke, Bob (ed.) et al., Proceedings of the 6th international workshop on quantum physics and logic (QPL 2009), Oxford, UK, April 8–9, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 270, No. 2, 141-153 (2011).
MSC:  03B65 18D15
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, 34-40 (2004).
MSC:  03B65 03B47 68T50
PDF BibTeX XML Cite
Full Text: DOI
Galmiche, Didier (ed.), Type-theoretic languages: Proof search and semantics in conjunction with CADE-17, CMU Pittsburgh, PA, USA, June 20-21, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 37, 33 p., electronic only (2000).
MSC:  68T15 03B47
PDF BibTeX XML Cite
Full Text: Link

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