×

zbMATH — the first resource for mathematics

Found 53 Documents (Results 1–53)

100
MathJax
Bojańczyk, Mikołaj (ed.) et al., Foundations of software science and computation structures. 22nd international conference, FOSSACS 2019, held as part of the European joint conferences on theory and practice of software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11425, 523-540 (2019).
MSC:  68Nxx 68Qxx
PDF BibTeX Cite
Full Text: DOI
Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 10, 16 p. (2017).
PDF BibTeX Cite
Full Text: DOI
Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 3-27 (2016).
PDF BibTeX Cite
Full Text: DOI
Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 22, 13 p. (2016).
MSC:  68Q70 03G30 68Q55 68T15
PDF BibTeX Cite
Full Text: DOI
Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 198-211 (2015).
MSC:  68Q85 03B45 68T15
PDF BibTeX Cite
Full Text: DOI
Kreutzer, Stephan (ed.), 24th EACSL annual conference and 29th workshop on computer science logic, CSL’15, Berlin, Germany, September 7–10, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-90-3). LIPIcs – Leibniz International Proceedings in Informatics 41, 374-389 (2015).
MSC:  68N30 68N18 68Q55
PDF BibTeX Cite
Full Text: DOI
Herbelin, Hugo (ed.) et al., 20th international conference on types for proofs and programs, TYPES’14, Paris, France, May 12–15, 2014. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 39, 202-220 (2015).
MSC:  03B38 03B70 18F20
PDF BibTeX 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, 19-50, electronic only (2015).
MSC:  68N18 03B15 68Q55
PDF BibTeX Cite
Full Text: DOI
Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 93-117 (2013).
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 3-14 (2013).
PDF BibTeX 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, 434-449 (2013).
MSC:  68N30 18A40
PDF BibTeX Cite
Full Text: DOI
D’Souza, Deepak (ed.) et al., IARCS annual conference on foundations of software technology and theoretical computer science (FSTTCS 2012). Selected papers based on the presentations at the 32nd conference, Hyderabad, India, December 15–17, 2012. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-47-7). LIPIcs – Leibniz International Proceedings in Informatics 18, 4-15 (2012).
MSC:  68N30 68N15 68Q45
PDF BibTeX 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, 173-189 (2012).
MSC:  68Q55 03B70 91A80
PDF BibTeX Cite
Full Text: DOI
Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 401-412 (2012).
MSC:  68N18 68N15 68Q45
PDF BibTeX Cite
Full Text: DOI
Beklemishev, Lev D. (ed.) et al., Logic, language, information and computation. 18th international workshop, WoLLIC 2011, Philadelphia, PA, USA, May 18–20, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-20919-2/pbk). Lecture Notes in Computer Science 6642. Lecture Notes in Artificial Intelligence, 67-83 (2011).
PDF BibTeX Cite
Full Text: DOI
Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 403-421 (2010).
MSC:  68P15 68Q55
PDF BibTeX Cite
Full Text: DOI
Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 259-276 (2010).
MSC:  68N18 03B70
PDF BibTeX Cite
Full Text: DOI
Bauer, Andrej (ed.) et al., Proceedings of the 24th conference on the mathematical foundations of programming semantics (MFPS XXIV), Philadelphia, PA, USA, May 22–25, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 218, 171-192 (2008).
PDF BibTeX Cite
Full Text: DOI
Adámek, J. (ed.) et al., Proceedings of the ninth workshop on coalgebraic methods in computer science (CMCS 2008), Budapest, Hungary, April 4–6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 5, 49-70 (2008).
MSC:  68N30 68Q65
PDF BibTeX Cite
Full Text: DOI
Cervesato, Iliano (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 15th international conference, LPAR 2008, Doha, Qatar, November 22–27, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89438-4/pbk). Lecture Notes in Computer Science 5330. Lecture Notes in Artificial Intelligence, 158-173 (2008).
MSC:  03B70 03G30 68Q65
PDF BibTeX 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