ITU
ITU

Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH

Publisher

View graph of relations

Research outputs (13)

  1. Published

    Strict Ideal Completions of the Lambda Calculus

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  2. Published

    Böhm Reduction in Infinitary Term Graph Rewriting Systems

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Range-efficient consistent sampling and locality-sensitive hashing for polygons

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View all »

ID: 80522609