Leen Helmink

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1993

3 Leen Helmink, M. P. A. Sellink, Frits W. Vaandrager: Proof-Checking a Data Link Protocol. TYPES 1993: 127-165

1991

2 Leen Helmink: Resolution and Type Theory. Sci. Comput. Program. 17(1-3): 119-138 (1991)

1990

1 Leen Helmink: Resolution and Type Theory. ESOP 1990: 197-211

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

Coauthor Index