S
Zodix
Study
Academic Library
Search
Shelves
Open access
Sign in
Search or jump to…
⌘K
Fer-Jan de Vries · Study
Home
/
Author
Fer-Jan de Vries
1 works
· latest 1992
· 1 institutions
cluster: provisional
Follow
Claim this profile
h-index
1
i10
1
Citations
41
Works here
1
92
Most cited in this library
Dynamic interpretation and hoare deduction
1992 · 41 citations
Works
1 shown
Dynamic interpretation and hoare deduction
Journal of Logic Language and Information
·
1992
·
2 authors
41
citations