×

zbMATH — the first resource for mathematics

Found 31 Documents (Results 1–31)

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) (ISBN 978-1-4503-5583-4). 899-908 (2018).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI
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). 327-336 (2016).
MSC:  03B15 03G30 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Hasuo, Ichiro (ed.), Coalgebraic methods in computer science. 13th IFIP WG 1.3 international workshop, CMCS 2016, colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-40369-4/pbk; 978-3-319-40370-0/ebook). Lecture Notes in Computer Science 9608, 94-113 (2016).
MSC:  68Q65
PDF BibTeX XML 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 (ISBN 978-3-939897-88-0). LIPIcs – Leibniz International Proceedings in Informatics 39, 1-26 (2015).
MSC:  68Q65 03B15 03G30 18C20 18C50 68T15
PDF BibTeX XML Cite
Full Text: DOI arXiv
Altenkirch, Thorsten (ed.), 13th international conference on typed lambda calculi and applications, TLCA’15, Warsaw, Poland, July 1–3, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 38, 17-30 (2015).
MSC:  03B38 03B35 55U35
PDF BibTeX XML Cite
Full Text: DOI arXiv
Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 83-101, electronic only (2015).
MSC:  68N18 03B15 03B70 18C50 68N30 68Q55
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, 469-483 (2013).
MSC:  03B70 68N30
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, 248-262 (2013).
PDF BibTeX XML Cite
Full Text: DOI
Gavrilova, Marina L. (ed.) et al., Transactions on Computational Science XV. Special issue on advances in autonomic computing: formal engineering methods for nature-inspired computing systems. Berlin: Springer (ISBN 978-3-642-28524-0/pbk). Lecture Notes in Computer Science 7050. Journal Subline, 74-107 (2012).
MSC:  68M14 68M10 68Q65
PDF BibTeX XML Cite
Full Text: DOI
Berardi, Stefano (ed.) et al., Types for proofs and programs. International conference, TYPES 2008, Torino, Italy, March 26–29, 2008. Revised selected papers. Berlin: Springer (ISBN 978-3-642-02443-6/pbk). Lecture Notes in Computer Science 5497, 220-236 (2009).
MSC:  68T15 03B35
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 33rd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’06, Charleston, SC, USA, January 11–13, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-027-2). 206-217 (2006).
MSC:  68N15 68N30
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, 121-139 (2006).
MSC:  03B35 03B40 03D78 68N18 68T15
PDF BibTeX XML Cite
Full Text: Link
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’04, Venice, Italy, January 14–16, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-729-X). 52-63 (2004).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI
Reichel, Horst (ed.), CMCS 2000. Coalgebraic methods in computer science, Berlin, Germany, March 25-26, 2000. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 33, 28 p., electronic only (2000).
MSC:  18C50 68Q55 18A30
PDF BibTeX XML Cite
Full Text: Link
Thomas, Wolfgang (ed.), Foundations of software science and computation structures. 2nd international conference, FOSSACS ’99. Held as part of the joint European conferences on Theory and practice of software, ETAPS ’99, Amsterdam, the Netherlands, March 22–28, 1999. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1578, 243-257 (1999).
MSC:  03B70 68Q55
PDF BibTeX XML Cite

Filter Results by …

Document Type
Reviewing State
all top 5
Year of Publication
all top 3
Classification
all top 3
Software