C. Hemerik
List of publications from the DBLP Bibliography Server - FAQ
| 2009 | ||
|---|---|---|
| 8 | Loek G. Cleophas, Kees Hemerik: Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms. CIAA 2009: 245-248 | |
| 7 | Kees Hemerik: Towards a Taxonomy for ECFG and RRPG Parsing. LATA 2009: 410-421 | |
| 2006 | ||
| 6 | Loek G. Cleophas, Kees Hemerik, Gerard Zwaan: Two Related Algorithms for Root-to-frontier Tree Pattern Matching. Int. J. Found. Comput. Sci. 17(6): 1253-1272 (2006) | |
| 2005 | ||
| 5 | Loek G. Cleophas, Kees Hemerik, Gerard Zwaan: A missing link in root-to-frontier tree pattern matching. Stringology 2005: 216-230 | |
| 1993 | ||
| 4 | Erik Poll, C. Hemerik, Huub M. M. ten Eikelder: CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping. ITA 27(3): 221-260 (1993) | |
| 1990 | ||
| 3 | Henk Barendregt, Kees Hemerik: Types in Lambda Calculi and Programming Languages. ESOP 1990: 1-35 | |
| 1989 | ||
| 2 | C. Hemerik, Joost-Pieter Katoen: Bottom-Up Tree Acceptors. Sci. Comput. Program. 13(1): 51-72 (1989) | |
| 1980 | ||
| 1 | C. Hemerik: Formal Derivation of a List Processing Program. Inf. Process. Lett. 10(3): 124-126 (1980) | |
| 1 | Hendrik Pieter Barendregt (Henk Barendregt) | [3] |
| 2 | Loek G. Cleophas | [5] [6] [8] |
| 3 | Huub M. M. ten Eikelder | [4] |
| 4 | Joost-Pieter Katoen | [2] |
| 5 | Erik Poll | [4] |
| 6 | Gerard Zwaan | [5] [6] |