×

zbMATH — the first resource for mathematics

Found 55 Documents (Results 1–55)

100
MathJax
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
Hermenegildo, Manuel (ed.) et al., Technical communications of the 26th international conference on logic programming (ICLP 2010), July 16–19, 2010, Edinburgh, Scotland, UK. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-17-0). LIPIcs – Leibniz International Proceedings in Informatics 7, 94-103, electronic only (2010).
MSC:  68T27 68T30 68N17
PDF BibTeX XML Cite
Full Text: DOI Link
De Schreye, Danny (ed.), Logic-based program synthesis and transformation. 19th international symposium, LOPSTR 2009, Coimbra, Portugal, September 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-12591-1/pbk). Lecture Notes in Computer Science 6037, 22-36 (2010).
MSC:  68N17 68N30
PDF BibTeX XML Cite
Full Text: DOI
Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 357-371 (2009).
MSC:  68N17
PDF BibTeX XML Cite
Full Text: DOI
Visser, Joost (ed.) et al., Proceedings of the 8th international workshop on rule based programming (RULE 2007), Paris, France, June 29, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 219, 19-34 (2008).
MSC:  68N17 68Q60
PDF BibTeX XML Cite
Full Text: DOI
Grigoriev, Dima (ed.) et al., Computer science – theory and applications. First international computer science symposium in Russia, CSR 2006, St. Petersburg, Russia, June 8–12, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34166-8/pbk). Lecture Notes in Computer Science 3967, 322-333 (2006).
MSC:  03B44 68Q60 68Q85
PDF BibTeX XML Cite
Full Text: DOI
Prace Naukowe Uniwersytetu Śląskiego w Katowicach 1901. Katowice: Wydawnictwo Uniwersytetu Śląskiego (ISBN 83-226-1023-8/pbk). 124 p. (2000).
MSC:  03B70 03-02 03Fxx 68-02 68T15 03B35
PDF BibTeX XML Cite
Oxford: Clarendon Press. xv, 799 p. (1998).
Reviewer: N.Curteanu (Iaşi)
PDF BibTeX XML Cite
Prawitz, D. (ed.) et al., Logic, methodology and philosophy of science IX. Proceedings of the ninth international congress of logic, methodology and philosophy of science, Uppsala, Sweden, August 7-14, 1991. Amsterdam: North-Holland. Stud. Logic Found. Math. 134, 693-724 (1994).
MSC:  03B45 03B70 03G15 03B65 03B15
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