Concepedia

F. J. de Vries

FJ

Statistics

Publications

4

Citations

211

H-Index

4

Active since

1994

Affiliations

University of East Anglia(Current)

Hitachi (Japan)

Centrum Wiskunde & Informatica

F. J. de Vries is an author at University of East Anglia specializing in formal verification, formal methods, and automated reasoning.

Top concepts

Publications per year

1994–2012

4

Publications

4

Infinitary lambda calculus

Richard Kennaway, Jan Willem Klop, M. R. Sleep et al. · Theoretical Computer Science · 1997 · 114 citations · Full text

, , +2

On the adequacy of graph rewriting for simulating term rewriting

Richard Kennaway, Jan Willem Klop, M. R. Sleep et al. · ACM Transactions on Programming Languages and Systems · 1994 · 67 citations · Full text

Meaningless terms in rewriting

Richard Kennaway, Vincent van Oostrom, F. J. de Vries · Lecture notes in computer science · 1996 · 19 citations · Full text

Pure type systems with corecursion on streams

Paula Severi, F. J. de Vries · 2012 · 11 citations

, , +11

1–4 of 4