×

zbMATH — the first resource for mathematics

Found 54 Documents (Results 1–54)

100
MathJax
Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 77-93 (2019).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 20th ACM SIGPLAN international conference on functional programming, ICFP ’15, Vancouver, Canada, September 1–3, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3669-7). 35-47 (2015).
PDF BibTeX XML Cite
Full Text: DOI
Mayr, Ernst W. (ed.) et al., 32nd international symposium on theoretical aspects of computer science, STACS’15, Garching, Germany, March 4–7, 2015. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-78-1). LIPIcs – Leibniz International Proceedings in Informatics 30, 703-715 (2015).
MSC:  68Q15 03B15 03D15 68Q19
PDF BibTeX XML Cite
Full Text: DOI
Garay, Juan A. (ed.) et al., Advances in cryptology – CRYPTO 2014. 34th annual cryptology conference, Santa Barbara, CA, USA, August 17–21, 2014. Proceedings, Part I. Berlin: Springer (ISBN 978-3-662-44370-5/pbk). Lecture Notes in Computer Science 8616, 390-407 (2014).
MSC:  94A60
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, 263-280 (2013).
MSC:  03B60 03B15 03B70
PDF BibTeX XML Cite
Full Text: DOI arXiv
Escobar, Santiago (ed.), Functional and constraint logic programming. 18th international workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-11998-9/pbk). Lecture Notes in Computer Science 5979, 96-110 (2010).
MSC:  03B40 68N18
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’09, Savannah, GA, USA, January 18–24, 2009. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-379-2). 354-365 (2009).
MSC:  68N30 03B70 68N18
PDF BibTeX XML Cite
Full Text: DOI
Kaminski, Michael (ed.) et al., Computer science logic. 22nd international workshop, CSL 2008, 17th annual conference of the EACSL, Bertinoro, Italy, September 16–19, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-87530-7/pbk). Lecture Notes in Computer Science 5213, 478-492 (2008).
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 8th ACM SIGPLAN international conference on functional programming, ICFP ’03, Uppsala, Sweden, August 25–29, 2003. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-756-7). ACM SIGPLAN Notices 38, No. 9, 39-50 (2003).
MSC:  68N15 68N17
PDF BibTeX XML Cite
Full Text: DOI
Birkedal, Lars (ed.) et al., A tutorial workshop on realizability semantics and applications. A workshop associated to the federated logic conference, Trento, Italy, June 30 - July 1, 1999. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 23, 1, 16 p., electronic only (1999).
MSC:  68Q55 68N18
PDF BibTeX XML Cite
Full Text: Link
Morvan, Michel (ed.) et al., STACS 98. 15th annual symposium on Theoretical aspects of computer science. Paris, France, February 25–27, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1373, 444-454 (1998).
MSC:  03B10 03D05 03B15
PDF BibTeX XML Cite
Enjalbert, Patrice (ed.) et al., STACS 94. 11th Annual Symposium on Theoretical Aspects of Computer Science, Caen, France, February 24-26, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 775, 365-375 (1994).
MSC:  68Q45 03B15 03D05
PDF BibTeX XML Cite

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