Bezem

Formalizing process algebraic specifications in COQ

Jan Friso Groote, Roland N. Bol, Bezem, 1995 .

Ramsey's theorem and the pigeonhole principle in intuitionistic mathematics

Bezem, W. Veldman, Wim Veldman, 1993 .

Enumeration in graphs

Bezem, J. van Leeuwen, 1987 .

Proving a graph well founded using resolution

Jan Friso Groote, Bezem, 1994 .

Generalizing Hamming distance to finite sets

Bezem, M. Keijzer, 1996 .

Bar recursion versus polymorphism

Bezem, E. Barendsen, 1992 .