×

zbMATH — the first resource for mathematics

Found 297 Documents (Results 1–100)

100
MathJax
Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 242-261 (2020).
MSC:  68Qxx
PDF BibTeX XML Cite
Full Text: DOI
Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 80-105 (2019).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Amsterdam: Elsevier/Academic Press (ISBN 978-0-08-100751-8/pbk; 978-0-12-804509-1/ebook). xxi, 136 p. (2018).
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 237-246 (2016).
MSC:  68Q55
PDF BibTeX XML 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, 277-298 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Ju, Shier (ed.) et al., Modality, semantics and interpretations. The second Asian workshop on philosophical logic, Guangzhou, China, 2014. Berlin: Springer. Log. Asia: Stud. Log. Libr., 167-178 (2015).
MSC:  03B47
PDF BibTeX XML 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, 567-581 (2015).
PDF BibTeX XML 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, 260-276 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Pitts, Andrew (ed.), Foundations of software science and computation structures. 18th international conference, FOSSACS 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9034, 41-55 (2015).
MSC:  03B47 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Goré, Rajeev (ed.) et al., Advances in modal logic. Vol. 10. Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, 2014. London: College Publications (ISBN 978-1-84890-151-3/pbk). 533-552 (2014).
MSC:  03B47 03B50
PDF BibTeX XML Cite
Power, John (ed.) et al., Proceedings of the workshop on algebra, coalgebra and topology (WACT 2013), Bath, UK, March 1, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 303, 107-120, electronic only (2014).
MSC:  08A40 06A15 18C10
PDF BibTeX XML Cite
Full Text: DOI
Muscholl, Anca (ed.), Foundations of software science and computation structures. 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54829-1/pbk). Lecture Notes in Computer Science 8412, 103-118 (2014).
MSC:  68N18 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Höfner, Peter (ed.) et al., Relational and algebraic methods in computer science. 14th international conference, RAMiCS 2014, Marienstatt, Germany, April 28 – May 1, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-06250-1/pbk). Lecture Notes in Computer Science 8428, 157-172 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 432-451 (2013).
PDF BibTeX XML 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, 325-348 (2013).
MSC:  68N15 68Q45 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Midtgaard, Jan (ed.) et al., Proceedings of the 4th international workshop on numerical and symbolic abstract domains, NSAD 2012, Deauville, France, September 10, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 287, 41-52 (2012).
MSC:  68N30 68Q55 68W30
PDF BibTeX XML Cite
Full Text: DOI
Gibbons, Jeremy (ed.) et al., Mathematics of program construction. 11th international conference, MPC 2012, Madrid, Spain, June 25–27, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31112-3/pbk). Lecture Notes in Computer Science 7342, 177-197 (2012).
MSC:  68N19 03B70
PDF BibTeX XML Cite
Full Text: DOI
Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 97-111, electronic only (2011).
MSC:  03B40 03B70 03F52
PDF BibTeX XML Cite
Full Text: DOI Link
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, 173-193 (2011).
MSC:  68N30 68Q55 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Bezhanishvili, Nick (ed.) et al., Logic, language, and computation. 8th international Tbilisi symposium on logic, language, and computation, TbiLLC 2009, Bakuriani, Georgia, September 21–25, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-22302-0/pbk). Lecture Notes in Computer Science 6618. Lecture Notes in Artificial Intelligence, 77-100 (2011).
MSC:  03G25 06B35 06D50
PDF BibTeX XML Cite
Full Text: DOI arXiv
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). 411-433 (2010).
MSC:  03B47
PDF BibTeX XML Cite
Banerjee, Mohua (ed.) et al., Logic and its applications. 4th Indian conference, ICLA 2011, Delhi, India, January 5–11, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18025-5/pbk). Lecture Notes in Computer Science 6521. Lecture Notes in Artificial Intelligence, 12-18 (2010).
PDF BibTeX XML Cite
Full Text: DOI
Hennessy, Matthew (ed.) et al., Proceedings of the 5th workshop on structural operational semantics (SOS 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 4, 27-47 (2009).
MSC:  68Q55 06B35 68N30
PDF BibTeX XML Cite
Full Text: DOI
Královič, Rastislav (ed.) et al., Mathematical foundations of computer science 2009. 34th international symposium, MFCS 2009, Novy Smokovec, High Tatras, Slovakia, August 24–28, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03815-0/pbk). Lecture Notes in Computer Science 5734, 574-586 (2009).
MSC:  03B40 06B35 18D15
PDF BibTeX XML Cite
Full Text: DOI
Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 107-121 (2009).
PDF BibTeX XML Cite
Full Text: DOI

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