×

zbMATH — the first resource for mathematics

Found 191 Documents (Results 1–100)

100
MathJax
Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-7104-9). 831-844 (2020).
MSC:  68 03B44
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-5583-4). 414-421 (2018).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Charlier, Émilie (ed.) et al., Developments in language theory. 21st international conference, DLT 2017, Liège, Belgium, August 7–11, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62808-0/pbk; 978-3-319-62809-7/ebook). Lecture Notes in Computer Science 10396, 147-159 (2017).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Raman, Venkatesh (ed.) et al., 34th international conference on foundation of software technology and theoretical computer science, FSTTCS 2014, New Delhi, India, December 15–17, 2014. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-77-4). LIPIcs – Leibniz International Proceedings in Informatics 29, 253-265 (2014).
MSC:  68Q60 03B25 03B44
PDF BibTeX XML Cite
Full Text: DOI
Breuillard, Emmanuel (ed.) et al., Thin groups and superstrong approximation. Selected papers based on the presentations at the workshop held at MSRI, Berkeley, CA, USA, February 6–10, 2012. Cambridge: Cambridge University Press (ISBN 978-1-107-03685-7/hbk). Mathematical Sciences Research Institute Publications 61, 141-149 (2014).
PDF BibTeX XML Cite
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 499-508 (2013).
MSC:  68Q45 03B25 03D05
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 478-487 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2013 28th annual ACM/IEEE symposium on logic in computer science, LICS 2013, Tulane University, New Orleans, LA, USA, June 25–28, 2013. Los Alamitos, CA: IEEE Computer Society (ISBN 978-0-7695-5020-6). 341-348 (2013).
MSC:  91A15 68Q45 91A05
PDF BibTeX XML Cite
Full Text: DOI
Seth, Anil (ed.) et al., 33nd international conference on foundations of software technology and theoretical computer science, FSTTCS 2013, Guwahati, India, December 12–14, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-64-4). LIPIcs – Leibniz International Proceedings in Informatics 24, 299-311 (2013).
MSC:  68Q45 91A43 91A80
PDF BibTeX XML Cite
Full Text: DOI
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, 396-407, electronic only (2012).
MSC:  68Q45 03D05
PDF BibTeX XML Cite
Full Text: DOI
Constable, Robert L. (ed.) et al., Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29484-6/pbk). Lecture Notes in Computer Science 7230, 165-179 (2012).
MSC:  03D05 03E15
PDF BibTeX XML Cite
Full Text: DOI
Chakraborthy, Supraik (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2011), Mumbai, India, December 12–14, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-34-7). LIPIcs – Leibniz International Proceedings in Informatics 13, 363-374, electronic only (2011).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI
Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2011. 8th international colloquium, Johannesburg, South Africa, August 31 – September 2, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23282-4/pbk). Lecture Notes in Computer Science 6916, 77-94 (2011).
MSC:  68Q05 68Q15 68Q25 68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Jones, Cliff B. (ed.) et al., Reflections on the work of C. A. R. Hoare. Most papers based on the presentations at the meeting to celebrate Tony Hoare’s 75th birthday, Cambridge, UK, April 2009. London: Springer (ISBN 978-1-84882-911-4/hbk; 978-1-84882-912-1/ebook). 283-300 (2010).
MSC:  68Q85 03B44 03B70
PDF BibTeX XML Cite
Full Text: DOI
Kappe, Luise-Charlotte (ed.) et al., Computational group theory and the theory of groups. II. Papers of the conference on computational group theory and cohomology, Harlaxton College, Grantham, UK, August 4–8, 2008 and the AMS special session on computational group theory, Western Michigan University, Kalamazoo, MI, USA, October 17–19, 2008. Providence, RI: American Mathematical Society (AMS) (ISBN 978-0-8218-4805-0/pbk). Contemporary Mathematics 511, 185-200 (2010).
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, 1-12, electronic only (2009).
MSC:  68Q45
PDF BibTeX XML Cite
Full Text: DOI Link
Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 530-545 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Flum, Jörg (ed.) et al., Logic and automata. History and perspectives. Dedicated to Wolfgang Thomas on the occasion of his sixtieth birthday. Amsterdam: Amsterdam University Press (ISBN 978-90-5356-576-6/pbk). Texts in Logic and Games 2, 261-306 (2008).
MSC:  03D05 68Q17 68Q45
PDF BibTeX XML Cite
Voronkov, Andrei (ed.), Rewriting techniques and applications. 19th international conference, RTA 2008, Hagenberg, Austria, July 15–17, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-70588-8/pbk). Lecture Notes in Computer Science 5117, 142-156 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Beckmann, Arnold (ed.) et al., Logic and theory of algorithms. 4th conference on computability in Europe, CiE 2008, Athens, Greece, June 15–20, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-69405-2/pbk). Lecture Notes in Computer Science 5028, 186-195 (2008).
MSC:  03B45 03D05 03E15
PDF BibTeX XML Cite
Full Text: DOI
Ball, Thomas (ed.) et al., Computer aided verification. 18th international conference, CAV 2006, Seattle, WA, USA, August 17–20, 2006. Proceedings. Berlin: Springer (ISBN 3-540-37406-X/pbk). Lecture Notes in Computer Science 4144, 95-108 (2006).
MSC:  68Q60 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Martín-Vide, Carlos (ed.) et al., Formal languages and applications. Berlin: Springer (ISBN 3-540-20907-7/hbk). Studies in Fuzziness and Soft Computing 148, 55-85 (2004).
MSC:  68Q45
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software