Kees Hemerik

According to our database, Kees Hemerik authored at least 9 papers between 1980 and 2009.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2009

Forest FIRE: A Taxonomy-based Toolkit of Tree Automata and Regular Tree Algorithms.

Loek G. Cleophas, Kees Hemerik

Proceedings of the Implementation and Application of Automata, 2009

Taxonomies of Regular Tree Algorithms.

Loek G. Cleophas, Kees Hemerik

Proceedings of the Prague Stringology Conference 2009, Prague, Czech Republic, August 31, 2009

Towards a Taxonomy for ECFG and RRPG Parsing.

Kees Hemerik

Proceedings of the Language and Automata Theory and Applications, 2009

2006

Two Related Algorithms for Root-to-frontier Tree Pattern Matching.

Loek G. Cleophas, Kees Hemerik, Gerard Zwaan

Int. J. Found. Comput. Sci., 2006

2005

A missing link in root-to-frontier tree pattern matching.

Loek G. Cleophas, Kees Hemerik, Gerard Zwaan

Proceedings of the Prague Stringology Conference, 2005

1993

CPO-Models for Second Order Lambda Calculus with Recursive Types and Subtyping.

Erik Poll, C. Hemerik, Huub M. M. ten Eikelder

RAIRO Theor. Informatics Appl., 1993

1990

Types in Lambda Calculi and Programming Languages.

Henk Barendregt, Kees Hemerik

Proceedings of the ESOP'90, 1990

1989

Bottom-Up Tree Acceptors.

C. Hemerik, Joost-Pieter Katoen

Sci. Comput. Program., 1989

1980

Formal Derivation of a List Processing Program.

C. Hemerik

Inf. Process. Lett., 1980