×

zbMATH — the first resource for mathematics

Found 170 Documents (Results 1–100)

100
MathJax
Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 27, 18 p. (2017).
MSC:  03F20 03C13
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 94, 14 p. (2016).
MSC:  03F20 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Wichs, Daniel (ed.) et al., Proceedings of the 48th annual ACM SIGACT symposium on theory of computing, STOC ’16, Cambridge, MA, USA, June 19–21, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4132-5). 644-657 (2016).
MSC:  03F20 68Q17
PDF BibTeX XML Cite
Full Text: DOI
Nieves, Juan Carlos (ed.) et al., Selected papers based on the presentations at the 9th Latin American workshop on logic/languages, algorithms and new methods of reasoning (LANMR), Valle de Bravo, Mexico, November 5–7, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 315, 31-46 (2014).
MSC:  03F20 03B05 03B35
PDF BibTeX XML Cite
Full Text: DOI
van Benthem, Johan (ed.) et al., Logic across the university: foundations and applications. Proceedings of the Tsinghua logic conference, Beijing, China, October 14–16, 2013. London: College Publications (ISBN 978-1-84890-122-3/pbk). Studies in Logic (London) 47, 212-213 (2013).
MSC:  03F20 03B05
PDF BibTeX XML Cite
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). 501-510 (2012).
MSC:  03F20 03B05
PDF BibTeX XML Cite
Full Text: DOI
Cégielski, Patrick (ed.) et al., Computer science logic (CSL’12). 26th international workshop, 21th annual conference of the EACSL, September 3–6, 2012, Fontainebleau, France. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-42-2). LIPIcs – Leibniz International Proceedings in Informatics 16, 9-11, electronic only (2012).
MSC:  03F20 68Q15
PDF BibTeX XML Cite
Full Text: DOI
van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 158-173 (2013).
MSC:  03F20 03B05 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Lodaya, Kamal (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2010), December 15–18, 2010, Chennai, India. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-23-1). LIPIcs – Leibniz International Proceedings in Informatics 8, 30-41, electronic only (2010).
MSC:  68Q15 03F20 68Q25
PDF BibTeX XML Cite
Full Text: DOI Link
Marion, Jean-Yves (ed.) et al., STACS 2010. 27th international symposium on theoretical aspects of computer science, Nancy, France, March 4–6, 2010. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-16-3). LIPIcs – Leibniz International Proceedings in Informatics 5, 453-464, electronic only (2010).
PDF BibTeX XML Cite
Full Text: DOI Link
Crama, Yves (ed.) et al., Boolean models and methods in mathematics, computer science, and engineering. Cambridge: Cambridge University Press (ISBN 978-0-521-84752-0/hbk). Encyclopedia of Mathematics and its Applications 134, 79-98 (2010).
MSC:  03F20 03B05
PDF BibTeX XML Cite
Ochmański, Edward (ed.) et al., Mathematical foundations of computer science 2008. 33rd international symposium, MFCS 2008, Toruń Poland, August 25–29, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-85237-7/pbk). Lecture Notes in Computer Science 5162, 575-587 (2008).
MSC:  03F20
PDF BibTeX XML Cite
Full Text: DOI
Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 199-214 (2008).
MSC:  03F20 03F30 68Q15
PDF BibTeX XML Cite
Full Text: DOI
Agrawal, Manindra (ed.) et al., Theory and applications of models of computation. 5th international conference, TAMC 2008, Xi’an, China, April 25–29, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-79227-7/pbk). Lecture Notes in Computer Science 4978, 318-329 (2008).
MSC:  03F20 03B05
PDF BibTeX XML Cite
Full Text: DOI
Marques-Silva, João (ed.) et al., Theory and applications of satisfiability testing – SAT 2007. 10th international conference, Lisbon, Portugal, May 28–31, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-72787-3/pbk). Lecture Notes in Computer Science 4501, 70-79 (2007).
PDF BibTeX XML Cite
Full Text: DOI
Lin, Guohui (ed.), Computing and combinatorics. 13th annual international conference, COCOON 2007, Banff, Canada, July 16–19, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73544-1/pbk). Lecture Notes in Computer Science 4598, 307-317 (2007).
MSC:  68Q15 03F20 68Q17
PDF BibTeX XML Cite
Full Text: DOI
STOC’07. Proceedings of the 39th annual ACM symposium on theory of computing, San Diego, CA, USA, June 11–13, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-631-8). 311-317 (2007).
MSC:  03F20 03B70
PDF BibTeX XML Cite
Cooper, S. Barry (ed.) et al., Computation and logic in the real world. Third conference on computability in Europe, CiE 2007, Siena, Italy, June 18–23, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73000-2/pbk). Lecture Notes in Computer Science 4497, 648-659 (2007).
MSC:  03F20 03B35 90C10
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 115-124 (2006).
MSC:  03F20
PDF BibTeX XML Cite
Full Text: DOI
Marcinkowski, Jerzy (ed.) et al., Computer science logic. 18th international workshop, CSL 2004, 13th annual conference of the EACSL, Karpacz, Poland, September 20–24, 2004. Proceedings. Berlin: Springer (ISBN 3-540-23024-6/pbk). Lecture Notes in Computer Science 3210, 340-354 (2004).
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