×

zbMATH — the first resource for mathematics

Found 70 Documents (Results 1–70)

100
MathJax
Moss, Lawrence S. (ed.) et al., Logic, language, information, and computation. 25th international workshop, WoLLIC 2018, Bogota, Colombia, July 24–27, 2018. Proceedings. Berlin: Springer (ISBN 978-3-662-57668-7/pbk; 978-3-662-57669-4/ebook). Lecture Notes in Computer Science 10944, 1-24 (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 189-195 (2011).
MSC:  68N18 68Q42 68Q45
PDF BibTeX XML Cite
Full Text: DOI
Middeldorp, Aart (ed.), Proceedings of the 8th international workshop on reduction strategies in rewriting and programming (WRS 2008), Castle of Hagenberg, Austria, July 14, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 237, 91-106 (2009).
MSC:  68Q42 68Q45 97U50
PDF BibTeX XML Cite
Full Text: DOI
Mackie, I. (ed.) et al., Proceedings of the fourth international workshop on computing with terms and graphs (TERMGRAPH 2007), Braga, Portugal, March 31, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 203, No. 1, 19-30 (2008).
MSC:  68M07 94C10
PDF BibTeX XML Cite
Full Text: DOI
Cambridge: Cambridge University Press (ISBN 978-0-521-89885-0/hbk). xi, 345 p. (2008).
MSC:  03B40 03-01 03-02
PDF BibTeX XML Cite
Proceedings of the 12th ACM SIGPLAN international conference on functional programming, ICFP ’07, Freiburg, Germany, October 1–3, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-815-2). ACM SIGPLAN Notices 42, No. 9, 59-70 (2007).
MSC:  68N18
PDF BibTeX XML Cite
Full Text: DOI
Proceedings of the 10th ACM SIGPLAN international conference on functional programming, ICFP ’05, Tallinn, Estonia, September 26–28, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-064-7). ACM SIGPLAN Notices 40, No. 9, 54-65 (2005).
MSC:  68Q65 68N18
PDF BibTeX XML Cite
Full Text: DOI
Cambridge Tracts in Theoretical Computer Science. 51. Cambridge: Cambridge University Press. xxv, 384 p. (2000).
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