Leen Helmink

Publication Activity (10 Years)

Years Active: 1990-1993
Publications (10 Years): 0

Publications

Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager
Proof-Checking a Data Link Protocol. TYPES (1993)
Leen Helmink
Resolution and Type Theory. Sci. Comput. Program. 17 (1-3) (1991)
Leen Helmink
Resolution and Type Theory. ESOP (1990)