I agree that this site is using cookies. You can find further informations here.
X
Wiedijk, F
22  results:
Search for persons X
?
1

Variability in the occurence of the sugar cane froghopper, .. 

Mededelingen / Landbouwhogeschool ; 82,7
Wiedijk, F , 1982
Copies:  Zentrale:Magazin bf 8138
 
?
2

An accessory skull suture mimicking a skull fracture:

Wiedijk, J.E.F. ; Soerdjbalie-Maikoe, V. ; Maat, G.J.R....
Forensic Science International.  260 (2016)  - p. e11-e13 , 2016
Link: https://doi.org/10.1016/..
 
?
3

A probabilistic analysis of the Game of the Goose:

Groote, J.F ; Wiedijk, F ; Zantema, H
Groote , J F , Wiedijk , F & Zantema , H 2016 , ' A probabilistic analysis of the Game of the Goose ' , SIAM Review , vol. 58 , no. 1 , pp. 143-155 . https://doi.org/10.1137/140983781.  , 2016
Link: https://research.tue.nl/..
 
?
4

A probabilistic analysis of the Game of the Goose:

Groote, JF Jan Friso ; Wiedijk, F ; Zantema, H Hans
ISSN:0036-1445.  , 2016
Link: http://repository.tue.nl..
 
?
5

Explicit convertibility proofs in pure type systems:

Doorn, F van ; Geuvers, JH Herman ; Wiedijk, F , 2013
Link: http://repository.tue.nl..
 
?
6

Pure type systems without explicit contexts:

Geuvers, JH Herman ; Krebbers, R ; McKinna, J. , 2010
Link: http://repository.tue.nl..
 
?
7

A logical framework with explicit conversions:

Geuvers, JH Herman ; Wiedijk, F , 2008
Link: http://repository.tue.nl..
 
?
8

A real semantic web for mathematics deserves a real semanti..:

Corbineau, P ; Geuvers, JH Herman ; Kaliszyk, C.. , 2008
Link: http://repository.tue.nl..
 
?
9

Constructive analysis, types and exact real numbers:

Geuvers, JH Herman ; Niqui, M ; Spitters, BAW Bas.
ISSN:0960-1295.  , 2007
Link: http://repository.tue.nl..
 
?
10

Preface (Special issue on Constructive analysis, types and ..:

Spitters, BAW Bas ; Geuvers, JH Herman ; Niqui, M.
ISSN:0960-1295.  , 2007
Link: http://repository.tue.nl..
 
?
11

A constructive algebraic hierarchy in Coq:

Geuvers, JH Herman ; Pollack, R ; Wiedijk, F.
ISSN:0747-7171.  , 2002
Link: http://repository.tue.nl..
 
?
12

Equational reasoning via partial reflection:

Geuvers, JH Herman ; Wiedijk, F ; Zwanenburg, J Jan , 2000
Link: http://repository.tue.nl..
 
?
13

Uniform algebraic specifications of finite sets with equali..:

Bergstra, JA Jan ; Mauw, S Sjouke ; Wiedijk, F
ISSN:0129-0541.  , 1991
Link: http://repository.tue.nl..
 
?
14

Uniform algebraic specifications of finite sorts with equal..:

Bergstra, J.A ; Mauw, S ; Wiedijk, F
0129-0541.  , 1991
Link: https://dspace.library.u..
 
?
15

Variability in the occurrence of the sugar cane froghopper,..:

Wiedijk, F
https://edepot.wur.nl/202973.  , 1982
Link: https://research.wur.nl/..
 
1-15