D. Dalen

发表

A. Troelstra, D. Dalen, A. Heyting, 1988 .
A. Troelstra, D. Dalen, J. Brouwer, 1883, Science.
D. van Dalen, D. Dalen, 1988 .
J. V. Tucker, H. C. Doets, D. van Dalen, 1979 .
D. van Dalen, D. Dalen, A. Monna, 1972 .
D. Dalen, 2013 .
D. Dalen, 2013 .
A. S. Troelstra, Gert H. Müller, Jane E. Kister, 1987 .
Douglas S. Bridges, Dirk van Dalen, Hajime Ishihara, 2003 .
Marc Bezem, Dirk van Dalen, D. Dalen, 1996, Lecture Notes in Computer Science.
D. Dalen, 2013 .
D. Dalen, 2013 .
A. S. Troelstra, D. van Dalen, A. Troelstra, 1991 .
D. Dalen, 2013 .
Gerhard Goos, Juris Hartmanis, Jan van Leeuwen, 2013, Lecture Notes in Computer Science.
Dirk van Dalen, D. Dalen, 2000, Bull. Symb. Log..
D. Dalen, 2013 .
G. Longo, Dirk van Dalen, Annalisa Marcja, 1984, Journal of Symbolic Logic.
Johan van Benthem, Dirk van Dalen, J. Benthem, 1998 .
Dirk van Dalen, D. Dalen, 1980 .
Mark van Atten, Richard Tieszen, Dirk van Dalen, 2001 .
D. Dalen, 1995 .
Dirk van Dalen, D. Dalen, 2011, Theor. Comput. Sci..
Dirk van Dalen, D. Dalen, 1995 .
D. Dalen, 2013 .
Dirk van Dalen, D. Dalen, 1996, Linear Logic Tokyo Meeting.
D. van Dalen, D. Dalen, 1973 .
Dirk van Dalen, D. Dalen, 1993, Bull. Symb. Log..
Dirk van Dalen, Mark van Atten, D. Dalen, 1999, Bull. Symb. Log..
Dirk van Dalen, D. Dalen, 1997, Journal of Symbolic Logic.
Dirk van Dalen, D. Dalen, 2005, J. Univers. Comput. Sci..
D. Dalen, Alistair H. Lachlan, Alistair H. Lachlan, 1934, Nature.
R. Statman, D. van Dalen, D. Dalen, 1979 .
D. van Dalen, D. Dalen, 1978 .
D. Dalen, D. Dalen, 1986, Stud Logica.
Dirk van Dalen, D. Dalen, 1984, Journal of Symbolic Logic.
A. S. Troelstra, D. van Dalen, A. Troelstra, 1970 .