×

zbMATH — the first resource for mathematics

Found 85 Documents (Results 1–85)

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). 454-464 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Chatzigiannakis, Ioannis (ed.) et al., 44th international colloquium on automata, languages, and programming, ICALP 2017, Warsaw, Poland July 10–14, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 80, Article 101, 14 p. (2017).
PDF BibTeX XML Cite
Full Text: DOI
Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 320-335 (2015).
MSC:  68Q55 18C20
PDF BibTeX XML Cite
Full Text: DOI
Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 86-102 (2015).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
van der Hoek, Wiebe (ed.) et al., Logic, rationality, and interaction. 5th international workshop, LORI 2015, Taipei, Taiwan, October 28–30, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-48560-6/pbk; 978-3-662-48561-3/ebook). Lecture Notes in Computer Science 9394, 169-181 (2015).
MSC:  68T27
PDF BibTeX XML Cite
Full Text: DOI
Ciobanu, Gabriel (ed.) et al., Theoretical aspects of computing – ICTAC 2014. 11th international colloquium, Bucharest, Romania, September 17–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8687, 133-150 (2014).
MSC:  68M14 68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 47-59 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 291-311 (2011).
MSC:  68Q85 68Q55 68Q87
PDF BibTeX XML Cite
Full Text: DOI
Cavalcanti, Ana (ed.) et al., Theoretical aspects of computing – ICTAC 2010. 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1–3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-14807-1/pbk). Lecture Notes in Computer Science 6255, 184-198 (2010).
MSC:  68N30 18C20
PDF BibTeX XML Cite
Full Text: DOI
Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 377-405 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Leucker, Martin (ed.) et al., Theoretical aspects of computing – ICTAC 2009. 6th international colloquium, Kuala Lumpur, Malaysia, August 16–20, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03465-7/pbk). Lecture Notes in Computer Science 5684, 200-214 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 377-388 (2007).
PDF BibTeX XML Cite
Full Text: DOI
van Glabbeek, Rob (ed.) et al., Proceedings of the fourth workshop on structural operational semantics (SOS 2007), Wroclaw, Poland, July 9, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 192, No. 1, 29-44 (2007).
MSC:  68Q55 68N18
PDF BibTeX XML Cite
Full Text: DOI
Ghani, Neil (ed.) et al., Proceedings of the eighth workshop on coalgebraic methods in computer science (CMCS 2006), Vienna, Austria, March 25–27, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 164, No. 1, 47-65 (2006).
PDF BibTeX XML Cite
Full Text: Link
Dissertationes Mathematicae Universitatis Tartuensis 49. Tartu: Tartu University Press; Tartu: Univ. Tartu, Faculty of Mathematics and Computer Science (Dissertation) (ISBN 9949-11-436-5/pbk). 119 p. (2006).
PDF BibTeX XML Cite
Gupta, Piyush (ed.) et al., Advances in Network information theory. DIMACS workshop network information theory, March 17–19, 2003, Piscataway, New Jersey, USA. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3467-3/hbk). DIMACS. Series in Discrete Mathematics and Theoretical Computer Science 66, 25-42 (2004).
PDF BibTeX XML Cite
Broy, Manfred (ed.) et al., Perspectives of system informatics. 5th international Andrei Ershov memorial conference, PSI 2003, Akademgorodok, Novosibirsk, Russia, July 9–12, 2003. Revised papers. Berlin: Springer (ISBN 3-540-20813-5/pbk). Lecture Notes in Computer Science 2890, 248-259 (2003).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Brookes, S. (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 13th annual conference, MFPS, Carnegie Mellon Univ., Pittsburgh, PA, USA, March 23–26, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 6, 18 p. (1997).
MSC:  68Q55
PDF BibTeX XML Cite
Full Text: Link
Fülöp, Zoltán (ed.) et al., Automata, languages and programming. 22nd international colloquium, ICALP ’95, Szeged, Hungary, July 10–14, 1995. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 944, 15-26 (1995).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Droste, Manfred (ed.) et al., Semantics of programming languages and model theory. Papers presented at the international conference and Research Center for Computer Science, Schloß Dägstuhl, Germany, June 23-29, 1991. Yverdon: Gordon and Breach Science Publishers. Algebra Log. Appl. 5, 89-108 (1993).
MSC:  68Q10 68Q85 68Q55
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