Vries, Ferdinand Jan de (1956-)
| rdfs:label | "Vries, Ferdinand Jan de (1956-)" |
| schema:name | "Ferdinand Jan de Vries" |
|
schema:family |
"de Vries" |
|
schema:given |
"Ferdinand Jan" |
|
schema:birth |
"1956" |
|
schema:same |
<https:/ |
|
<http:/ |
|
| wd:Q102255000 | |
|
schema:main |
<https:/ |
Inverse relations
[ .. ] → schema:author → Vries, Ferdinand Jan de (1956-)
A functional program for Gaussian elimination / Fer-Jan de Vriesschema:ProductModel
A functional program for the fast fourier transform / Fer-Jan de Vriesschema:ProductModel
Applications of constructive logic to sheaf constructions in toposes / Fer-Jan de Vriesschema:ProductModel
Type theoretical topics in topos theory / door Ferdinand Jan de Vriesschema:ProductModel
[ .. ] → schema:contributor → Vries, Ferdinand Jan de (1956-)
A sound and complete calculus for update logic / D.J.N. van Eijck, F.-J. de Vriesschema:ProductModel
Dynamic interpretation and Hoare deduction / D.J.N. van Eijck, F.-J. de Vriesschema:ProductModel
Intuitionistic free abelian groups / D. van Dalenschema:ProductModel
Meaningless terms in rewriting / R. Kennaway, V. van Oostrom, F.J. de Vriesschema:ProductModel
Meaningless terms in rewriting / Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vriesschema:ProductModel
Reasoning about update logic / D.J.N. van Eijck, F.-J. de Vriesschema:ProductModel
Strong completeness for Hoare logics of recursive processes: an infinitary approach / A. Ponse, F.-J. de Vriesschema:ProductModel