×

zbMATH — the first resource for mathematics

Found 22 Documents (Results 1–22)

100
MathJax
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 397-406 (2016).
MSC:  03C13 03B10 03B15 05C05 05C10
PDF BibTeX XML Cite
Full Text: DOI
López-Ortiz, Alejandro (ed.), LATIN 2010: Theoretical informatics. 9th Latin American symposium, Oaxaca, Mexico, April 19–23, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-12199-9/pbk). Lecture Notes in Computer Science 6034, 49-59 (2010).
MSC:  05C15 05C85 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Paul, Christophe (ed.) et al., Graph-theoretic concepts in computer science. 35th international workshop, WG 2009, Montpellier, France, June 24–26, 2009. Revised papers. Berlin: Springer (ISBN 978-3-642-11408-3/pbk). Lecture Notes in Computer Science 5911, 17-32 (2010).
MSC:  05C85 05C75 68Q25
PDF BibTeX XML Cite
Full Text: DOI
Broersma, Hajo (ed.) et al., Graph-theoretic concepts in computer science. 34th international workshop, WG 2008, Durham, UK, June 30–July 2, 2008. Revised papers. Berlin: Springer (ISBN 978-3-540-92247-6/pbk). Lecture Notes in Computer Science 5344, 252-263 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Nielsen, Mogens (ed.) et al., Computer science logic. 11th international workshop, CSL ’97. Annual conference of the EACSL, Aarhus, Denmark, August 23–29, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1414, 424-440 (1998).
MSC:  03B15 03D05
PDF BibTeX XML Cite
Morvan, Michel (ed.) et al., STACS 98. 15th annual symposium on Theoretical aspects of computer science. Paris, France, February 25-27, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1373, 618-628 (1998).
Reviewer: A.Nabebin (Moskva)
MSC:  03D05 68Q45 03B15 68R10 05C05
PDF BibTeX XML Cite