×

zbMATH — the first resource for mathematics

Found 12 Documents (Results 1–12)

100
MathJax
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. 14, 10 p. (2014).
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). 59-72 (2012).
PDF BibTeX Cite
Full Text: DOI
van Raamsdonk, Femke (ed.), 24th international conference on rewriting techniques and applications (RTA 2013), Eindhoven, The Netherlands, June 24–26, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-53-8). LIPIcs – Leibniz International Proceedings in Informatics 21, 239-254 (2013).
MSC:  68N18 03B40
PDF BibTeX Cite
Full Text: DOI
Beierle, Christoph (ed.) et al., Logic programming: formal methods and practical applications. Amsterdam: Elsevier. Stud. Comput. Sci. Artif. Intell. 11, 343-379 (1995).
MSC:  68U99 68N17 68T30
PDF BibTeX Cite