Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH
Publisher
Research outputs (13)
- Published
Strict Ideal Completions of the Lambda Calculus
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Böhm Reduction in Infinitary Term Graph Rewriting Systems
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Range-efficient consistent sampling and locality-sensitive hashing for polygons
Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
ID: 80522609