H. Schellinx

发表

H.A.J.M. Schellinx, H. Schellinx, 1994 .

H. Schellinx, J. Joinet, L. Falco, 2007 .

Harold Schellinx, H. Schellinx, 1996 .

Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco, 1996 .

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, 1995 .

H. Schellinx, J. Joinet, L. Falco, 2002, Journal of Symbolic Logic.

Harold Schellinx, H. Schellinx, 1991, J. Symb. Log..

Harold Schellinx, H. Schellinx, 1991, J. Log. Comput..

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, 1997, Journal of Symbolic Logic.

Vincent Danos, Jean-Baptiste Joinet, Harold Schellinx, 1995, Arch. Math. Log..

J. Metz, H. Schellinx, D. Kornet, 1995 .

Jean-Baptiste Joinet, Harold Schellinx, V. Danos, 1995 .