×

zbMATH — the first resource for mathematics

Found 67 Documents (Results 1–67)

100
MathJax
Paul, Christophe (ed.) et al., 13th international symposium on parameterized and exact computation, IPEC 2018, August 22–24, 2018, Helsinki, Finland. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 115, Article 16, 14 p. (2019).
MSC:  68Q25 68Wxx
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 116, 14 p. (2018).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI
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). 407-416 (2016).
MSC:  03D05 03B15 05C75
PDF BibTeX XML Cite
Full Text: DOI
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
Husfeldt, Thore (ed.) et al., 10th international symposium on parameterized and exact computation, IPEC 2015, Patras, Greece, September 16–18, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-92-7). LIPIcs – Leibniz International Proceedings in Informatics 43, 175-186 (2015).
MSC:  03D05 03B15 68Q45 68R10
PDF BibTeX XML Cite
Full Text: DOI arXiv
Lecroq, Thierry (ed.) et al., Combinatorial algorithms. 24th international workshop, IWOCA 2013, Rouen, France, July 10–12, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-642-45277-2/pbk). Lecture Notes in Computer Science 8288, 164-177 (2013).
MSC:  68R10 03B15 03B70 68Q17 68Q25 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Gutin, Gregory (ed.) et al., Parameterized and exact computation. 8th international symposium, IPEC 2013, Sophia Antipolis, France, September 4–6, 2013. Revised selected papers. Berlin: Springer (ISBN 978-3-319-03897-1/pbk). Lecture Notes in Computer Science 8246, 123-136 (2013).
PDF BibTeX XML Cite
Full Text: DOI arXiv
Proceedings of the 2012 27th annual ACM/IEEE symposium on logic in computer science, LICS 2012, Dubrovnik, Croatia, June 25–28, 2012. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-4769-5). 265-274 (2012).
MSC:  03B15 03B10 05C75
PDF BibTeX XML Cite
Full Text: DOI
Encyclopedia of Mathematics and its Applications 138. Cambridge: Cambridge University Press (ISBN 978-0-521-89833-1/hbk). xiv, 728 p. (2012).
MSC:  68-02 03B15 03D05 05C85 05C90 68Q45 68R10
PDF BibTeX XML Cite
Grohe, Martin (ed.) et al., Model theoretic methods in finite combinatorics. AMS-ASL joint special session, Washington, DC, USA, January 5–8, 2009. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4943-9/pbk). Contemporary Mathematics 558, 207-241 (2011).
MSC:  05C15 05C30 05C31 05C35 03B15 03C85
PDF BibTeX XML Cite
Kannan, Ravi (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2009), December 15–17, 2009, Kanpur, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-13-2). LIPIcs – Leibniz International Proceedings in Informatics 4, 97-108, electronic only (2009).
PDF BibTeX XML Cite
Full Text: DOI Link
Alt, Helmut (ed.) et al., STACS 2003. 20th annual symposium of theoretical aspects on computer science, Berlin, Germany, February 27 – March 1, 2003. Proceedings. Berlin: Springer (ISBN 3-540-00623-0/pbk). Lect. Notes Comput. Sci. 2607, 463-474 (2003).
MSC:  03B25 05C25 20F10
PDF BibTeX XML Cite
Full Text: Link
Calude, C. S. (ed.) et al., Combinatorics, computation & logic. Proceedings of DMTCS ’99 and CATS ’99. Auckland, New Zealand, January 18-21, 1999. Singapore: Springer. Aust. Comput. Sci. Commun. 21, 3, 273-285 (1999).
MSC:  03B25 03D03 68Q42
PDF BibTeX XML Cite
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
CSLI Lecture Notes. 60. Stanford, CA: CSLI, Center for the Study of Language and Information. x, 390 p. £16.95/pbk; $ 24.95/pbk; £50.00/ hbk; $ 64.95/hbk (1996).
PDF BibTeX XML Cite
Robertson, Neil (ed.) et al., Graph structure theory. Proceedings of the AMS-IMS-SIAM joint summer research conference on graph minors held June 22 to July 5, 1991 at the University of Washington, Seattle, WA (USA). Providence, RI: American Mathematical Society. Contemp. Math. 147, 565-590 (1993).
MSC:  05C99 68R10 68Q42 05C75 03B15
PDF BibTeX XML Cite
Logic from computer science, Proc. Workshop, Berkeley/CA (USA) 1989, Publ., Math. Sci. Res. Inst. 21, 265-286 (1992).
Reviewer: G.L.McColm (Tampa)
MSC:  03C13 03B15 05C80
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
Software