×

zbMATH — the first resource for mathematics

Found 229 Documents (Results 1–100)

100
MathJax
Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 18, 15 p. (2016).
MSC:  68Q85 06A15 68N30
PDF BibTeX XML Cite
Full Text: DOI
Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 135-151, electronic only (2016).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 31-46 (2015).
MSC:  68Q85 68Q42 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 3-17, electronic only (2015).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 72, 10 p. (2014).
MSC:  68Q85 68Q10
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 14, 10 p. (2014).
PDF BibTeX XML Cite
Full Text: DOI
Matthes, Ralph (ed.) et al., 19th international conference on types for proofs and programs, TYPES 2013, Toulouse, France, April 22–26, 2013. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-72-9). LIPIcs – Leibniz International Proceedings in Informatics 26, 150-168 (2014).
MSC:  03B70 03F52 68Q85
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). 388-397 (2013).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2013. 10th international colloquium, Shanghai, China, September 4–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39717-2/pbk). Lecture Notes in Computer Science 8049, 267-281 (2013).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Pfenning, Frank (ed.), Foundations of software science and computation structures. 16th international conference, FOSSACS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37074-8/pbk). Lecture Notes in Computer Science 7794, 50-64 (2013).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
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). 531-540 (2012).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 291-306 (2012).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 103-116 (2012).
MSC:  68Q55 68N18 68Q85
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, 228-242, electronic only (2012).
MSC:  03F52 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Koutny, Maciej (ed.) et al., CONCUR 2012 – concurrency theory. 23rd international conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4–7, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32939-5/pbk). Lecture Notes in Computer Science 7454, 440-455 (2012).
MSC:  68Q85 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Luttik, Bas (ed.) et al., Proceedings of the 18th international workshop on expressiveness in concurrency, EXPRESS’11, Aachen, Germany, September 5, 2011. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 64, 89-103 (2011).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: Link
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, 255-270 (2013).
MSC:  68N30 68N18 68Q85
PDF BibTeX XML Cite
Full Text: DOI
van Ditmarsch, Hans (ed.) et al., Proceedings of the 7th workshop on methods for modalities (M4M’2011), and the 4th workshop on logical aspects of multi-agent systems (LAMAS’2011), Osuna, Spain, November 10–12, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 278, 229-243 (2011).
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, 313-334 (2011).
MSC:  68Q85 03B70 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Simao, Adenilso (ed.) et al., Formal methods, foundations and applications. 14th Brazilian symposium, SBMF 2011, São Paulo, Brazil, September 26–30, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-25031-6/pbk). Lecture Notes in Computer Science 7021, 76-91 (2011).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 208-227 (2011).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 44-59 (2011).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Beklemishev, Lev (ed.) et al., Advances in modal logic. Vol. 8. Proceedings of the 8th conference (AiML 2010), Moscow, Russia, August 24–27, 2010. London: College Publications (ISBN 978-1-84890-013-4). 470-482 (2010).
PDF BibTeX XML Cite
Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). x, 480 p. (2010).
PDF BibTeX XML Cite
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). 371-404 (2010).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Salaün, Gwen (ed.) et al., Proceedings of the 8th international workshop on the foundations of coordination languages and software architectures (FOCLASA 2009), Rhodes, Greece, July 11, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 255, 3-21 (2009).
PDF BibTeX XML Cite
Full Text: Link
Chen, Y.-X. (ed.) et al., Proceedings of the fifth international symposium on domain theory (ISDT 2009), Shanghai, China, September 12–14, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 257, 19-33 (2009).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Abel, Andreas (ed.) et al., Proceedings of the 3rd international workshop on logical frameworks and metalanguages: theory and practice (LFMTP 2008), Pittsburgh, PA, USA, June 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 228, 135-150 (2009).
PDF BibTeX XML Cite
Full Text: DOI
Ciobanu, Gabriel (ed.), Proceedings of the 2nd international meeting on membrane computing and biologically inspired process calculi (MeCBIC 2008), Iaşi, Romania, September 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 227, 161-177 (2009).
MSC:  92C42 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 14th ACM SIGPLAN international conference on functional programming, ICFP ’09, Edinburgh, UK, August 31 – September 2, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-332-7). ACM SIGPLAN Notices 44, No. 9, 269-280 (2009).
MSC:  68N19 68N18
PDF BibTeX XML Cite
Full Text: DOI
Kremer, Steve (ed.) et al., Proceedings of the 6th international workshop on security issues in concurrency (SecCo 2008), Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 242, No. 3, 21-36 (2009).
MSC:  68Q60 03B70 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Bonchi, Filippo (ed.) et al., Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 3, 117-129 (2009).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI
Cannata, Nicola (ed.) et al., Proceedings of the 2nd workshop – from biology to concurrency and back (FBTC 2008), Reykjavik, Iceland, July 12, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 1, 127-144 (2009).
MSC:  92C45 68Q85 92C10
PDF BibTeX XML Cite
Full Text: DOI
Albers, Susanne (ed.) et al., Automata, languages and programming. 36th international colloquium, ICALP 2009, Rhodes, Greece, July 5–12, 2009. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-02929-5/pbk). Lecture Notes in Computer Science 5556, 31-42 (2009).
MSC:  68Q85 03B70
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

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