×

zbMATH — the first resource for mathematics

Found 83 Documents (Results 1–83)

100
MathJax
Accattoli, Beniamino (ed.) et al., Proceedings of the 13th workshop on logical and semantic frameworks with applications, LSFA 18, Fortaleza, Brazil, September 26–28, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 344, 189-208 (2019).
MSC:  03C13 68W40
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 75, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Mayr, Ernst W. (ed.) et al., 31st international symposium on theoretical aspects of computer science, STACS’ 14, Lyon, France, March 5–8, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-65-1). LIPIcs – Leibniz International Proceedings in Informatics 25, 374-385 (2014).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Dürr, Christoph (ed.) et al., STACS 2012. 29th international symposium on theoretical aspects of computer science, Paris, France, February 29th – March 3rd, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-35-4). LIPIcs – Leibniz International Proceedings in Informatics 14, 242-253, electronic only (2012).
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 180-196 (2009).
MSC:  03B70 03C07
PDF BibTeX XML Cite
Full Text: DOI
Duparc, Jacques (ed.) et al., Computer science logic. 21st international workshop, CSL 2007, 16th annual conference of the EACSL, Lusanne, Switzerland, September 11–15, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-74914-1/pbk). Lecture Notes in Computer Science 4646, 343-357 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Andretta, Alessandro (ed.), Set theory. Recent trends and applications. Rome: Aracne; Napoli: Dipartimento di Matematica, Seconda Università di Napoli (ISBN 978-88-548-0982-6/hbk). Quaderni di Matematica 17, 111-136 (2006).
MSC:  03C55 03E05
PDF BibTeX XML Cite
PDF BibTeX XML Cite
Sgall, Jiří(ed.) et al., Mathematical foundations of computer science 2001. 26th international symposium, MFCS 2001, Mariánské Lázně, Czech Republic, August 27-31, 2001. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2136, 375-386 (2001).
MSC:  03C13 68Q19 68P15
PDF BibTeX XML Cite
Full Text: Link
Dalen, Dirk van (ed.) et al., Computer science logic. 10th international workshop, CSL ’96. Annual conference of the EACSL, Utrecht, the Netherlands. September 21–27, 1996. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1258, 260-274 (1997).
MSC:  03D15 03C13 68Q15
PDF BibTeX XML Cite
Immerman, Neil (ed.) et al., Descriptive complexity and finite models. Proceedings of a DIMACS workshop, January 14–17, 1996, Princeton Univ., Princeton, NJ, USA. Providence, RI: AMS, American Mathematical Society. DIMACS, Ser. Discrete Math. Theor. Comput. Sci. 31, 1-32 (1997).
MSC:  68Q25 68T27
PDF BibTeX XML Cite
Proceedings of the IX Latin American symposium on mathematical logic, Bahía Blanca, Argentina, August 3-8, 1992. Part 1. Bahía Blanca: Universidad Nacional del Sur, Notas Logica Mat. 38, 71-81 (1993).
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