×

zbMATH — the first resource for mathematics

Found 455 Documents (Results 1–100)

100
MathJax
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). 849-858 (2018).
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). 819-828 (2018).
PDF BibTeX XML Cite
Full Text: DOI
Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 121-143 (2017).
PDF BibTeX XML Cite
Full Text: DOI
Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part I. Berlin: Springer. Lect. Notes Comput. Sci. 10205, 481-498 (2017).
MSC:  68N30 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 515-529 (2017).
MSC:  68Q60 68N30 68Q55 68T15
PDF BibTeX XML Cite
Full Text: DOI
Amsterdam: Elsevier/ISTE Press (ISBN 978-1-78548-112-3/hbk; 978-0-08-101170-6/ebook). xx, 306 p. (2017).
MSC:  68-02 65G50 65Y04 68Q60 68T15
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). 377-386 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Benevides, Mario (ed.) et al., Proceedings of the 10th workshop on logical and semantic frameworks, with applications (LSFA 2015), Natal, Brazil, August 31 – September 1, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 323, 93-108 (2016).
MSC:  68T15 03F07 68Q42
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 357-359 (2016).
PDF BibTeX XML Cite
Full Text: DOI
Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 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. 9035, 643-657 (2015).
MSC:  68Q60 03B44 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Baier, Christel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 21st international conference, TACAS 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. 9035, 581-595 (2015).
MSC:  68Q60 03B44
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 407-420 (2015).
MSC:  68N30 68Q45 68Q60
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, 179-195, electronic only (2015).
PDF BibTeX XML Cite
Full Text: DOI
De Nivelle, Hans (ed.), Automated reasoning with analytic tableaux and related methods. 24th international conference, TABLEAUX 2015, Wrocław, Poland, September 21–24, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9323, 86-101 (2015).
MSC:  68T15
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. 2, 10 p. (2014).
MSC:  68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Schroeder-Heister, Peter (ed.) et al., Logic, methodology and philosophy of science. Logic and science facing the new technologies. Proceedings of the 14th international congress, Nancy, France, July 19–26, 2011. London: College Publications (ISBN 978-1-84890-169-8/pbk). 399-407 (2014).
MSC:  00A30
PDF BibTeX XML Cite
Proceedings of the 19th ACM SIGPLAN international conference on functional programming, ICFP ’14, Gothenburg, Sweden, September 1–3, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2873-9). 175-188 (2014).
MSC:  68Q60 68Q55 68T15
PDF BibTeX XML Cite
Full Text: DOI
Geschke, Stefan (ed.) et al., Infinity, computability and metamathematics. Festschrift celebrating the 60th birthdays of Peter Koepke and Philip Welch. London: College Publications (ISBN 978-1-84890-130-8/hbk). 71-88 (2014).
MSC:  03B65 68T15 68T50
PDF BibTeX XML Cite
Lecture Notes in Computer Science 9000. Cham: Springer (ISBN 978-3-319-13905-0/pbk). xii, 352 p. (2014).
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). 477-490 (2014).
MSC:  68Q60 03B70 68T15
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). 249-249 (2014).
MSC:  68T15 68-03 68N30 68Q60
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). 221-233 (2014).
PDF BibTeX XML Cite
Full Text: DOI
Frey, Davide (ed.) et al., Distributed computing and networking. 14th international conference, ICDCN 2013, Mumbai, India, January 3–6, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-35667-4/pbk). Lecture Notes in Computer Science 7730, 330-347 (2013).
MSC:  68M14 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Aberdein, Andrew (ed.) et al., The argument of mathematics. Dordrecht: Springer (ISBN 978-94-007-6533-7/hbk; 978-94-007-6534-4/ebook). Logic, Epistemology, and the Unity of Science 30, 147-170 (2013).
MSC:  00A30 00A35 03-03 01A60 01A61 03B35 68T15
PDF BibTeX XML Cite
Full Text: DOI
Pinus, A. G. (ed.) et al., Algebra and model theory 9. Collection of papers from the 10th summer school “Frontiers in model theory and universal algebra”, Erlogol, Russia, June 25–29, 2013. Novosibirsk: Novosibirsk State Technical University (ISBN 978-5-7782-2350-9). 144-153 (2013).
MSC:  03B35 03B62 68T15 68T30
PDF BibTeX XML Cite
McMillan, Ken (ed.) et al., Logic for programming, artificial intelligence, and reasoning. 19th international conference, LPAR-19, Stellenbosch, South Africa, December 14–19, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-45220-8/pbk). Lecture Notes in Computer Science 8312, 274-290 (2013).
MSC:  68T15
PDF BibTeX XML Cite
Full Text: DOI
Libkin, Leonid (ed.) et al., Logic, language, information, and computation. 20th international workshop, WoLLIC 2013, Darmstadt, Germany, August 20–23, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39991-6/pbk). Lecture Notes in Computer Science 8071, 34-48 (2013).
MSC:  03B35 03F07
PDF BibTeX XML Cite
Full Text: DOI
Alves, Sandra (ed.) et al., Proceedings of the 2nd international workshop on linearity, Tallinn, Estonia, April 1, 2012. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 101, 50-60 (2012).
MSC:  68Q85 03F52 68Q60
PDF BibTeX XML Cite
Full Text: Link
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). 541-550 (2012).
PDF BibTeX XML 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). 7-18 (2012).
PDF BibTeX XML Cite
Full Text: DOI
München: Univ. München, Fakultät für Mathematik, Informatik und Statistik (Diss.). xi, 167 p. (2012).
PDF BibTeX XML Cite
Full Text: Link
Gramlich, Bernhard (ed.) et al., Automated reasoning. 6th international joint conference, IJCAR 2012, Manchester, UK, June 26–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31364-6/pbk). Lecture Notes in Computer Science 7364. Lecture Notes in Artificial Intelligence, 332-338 (2012).
MSC:  68T15 03B35 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’11, San Jose, CA, USA, June 06–08, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0719-2). 311-320 (2011).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 1-2 (2011).
MSC:  68N30 68Q60 68T15
PDF BibTeX XML Cite
Full Text: DOI
Barthe, Gilles (ed.) et al., Software engineering and formal methods. 9th international conference, SEFM 2011, Montevideo, Uruguay, November 14–18, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24689-0/pbk). Lecture Notes in Computer Science 7041, 253-268 (2011).
MSC:  68T15 68N30 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Cambridge Tracts in Theoretical Computer Science 54. Cambridge: Cambridge University Press (ISBN 978-0-521-16932-5/pbk). xxii, 776 p. (2011).
PDF BibTeX XML Cite
Barthe, Gilles (ed.), Programming languages and systems. 20th European symposium on programming, ESOP 2011, held as part of the joint European conferences on theory and practice of software, ETAPS 2011, Saarbrücken, Germany, March 26 – April 3, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-19717-8/pbk). Lecture Notes in Computer Science 6602, 18-37 (2011).
MSC:  68N30
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 37th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’10, Madrid, Spain, January 17–23, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-479-9). 313-326 (2010).
MSC:  68N30 68Q60
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