Search the dblp DataBase
Fer-Jan de Vries: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
Meaningless Terms in Rewriting. [Citation Graph (0, 0)][DBLP]
ALP, 1996, pp:254-268 [Conf] - Richard Kennaway, Paula Severi, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Rewriting: From Syntax to Semantics. [Citation Graph (0, 0)][DBLP]
Processes, Terms and Cycles, 2005, pp:148-172 [Conf] - Paula Severi, Fer-Jan de Vries
Order Structures on Böhm-Like Models. [Citation Graph (0, 0)][DBLP]
CSL, 2005, pp:103-118 [Conf] - Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
Types for trees. [Citation Graph (0, 0)][DBLP]
PROCOMET, 1998, pp:11-29 [Conf] - Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Transfinite Reductions in Orthogonal Term Rewriting Systems (Extended Abstract). [Citation Graph (0, 0)][DBLP]
RTA, 1991, pp:1-12 [Conf] - Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Lambda Calculi and Böhm Models. [Citation Graph (0, 0)][DBLP]
RTA, 1995, pp:257-270 [Conf] - Paula Severi, Fer-Jan de Vries
An Extensional Böhm Model. [Citation Graph (0, 0)][DBLP]
RTA, 2002, pp:159-173 [Conf] - Zena M. Ariola, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Syntactic Definitions of Undefined: On Defining the Undefined. [Citation Graph (0, 0)][DBLP]
TACS, 1994, pp:543-554 [Conf] - Paula Severi, Fer-Jan de Vries
Continuity and Discontinuity in Lambda Calculus. [Citation Graph (0, 0)][DBLP]
TLCA, 2005, pp:369-385 [Conf] - Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Transfinite Reductions in Orthogonal Term Rewriting Systems [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1995, v:119, n:1, pp:18-38 [Journal] - Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
Meaningless Terms in Rewriting. [Citation Graph (0, 0)][DBLP]
Journal of Functional and Logic Programming, 1999, v:1999, n:1, pp:- [Journal] - Jan van Eijck, Fer-Jan de Vries
Dynamic Interpretation and Hoare Deduction. [Citation Graph (0, 0)][DBLP]
Journal of Logic, Language and Information, 1992, v:1, n:1, pp:1-44 [Journal] - Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Comparing Curried and Uncurried Rewriting. [Citation Graph (0, 0)][DBLP]
J. Symb. Comput., 1996, v:21, n:1, pp:15-39 [Journal] - Fer-Jan de Vries
A functional program for the fast Fourier transform. [Citation Graph (0, 0)][DBLP]
SIGPLAN Notices, 1988, v:23, n:1, pp:67-74 [Journal] - Steffen van Bakel, Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
Intersection types for lambda-trees. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2002, v:272, n:1-2, pp:3-40 [Journal] - Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries
Böhm's theorem for Berarducci trees. [Citation Graph (0, 0)][DBLP]
Electr. Notes Theor. Comput. Sci., 2000, v:31, n:, pp:- [Journal] - Mariangiola Dezani-Ciancaglini, Paula Severi, Fer-Jan de Vries
Infinitary lambda calculus and discrimination of Berarducci trees. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 2003, v:2, n:298, pp:275-302 [Journal] - Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
Infinitary Lambda Calculus. [Citation Graph (0, 0)][DBLP]
Theor. Comput. Sci., 1997, v:175, n:1, pp:93-125 [Journal] - Richard Kennaway, Jan Willem Klop, M. Ronan Sleep, Fer-Jan de Vries
On the Adequacy of Graph Rewriting for Simulating Term Rewriting. [Citation Graph (0, 0)][DBLP]
ACM Trans. Program. Lang. Syst., 1994, v:16, n:3, pp:493-523 [Journal]
Search in 0.004secs, Finished in 0.005secs
| NOTICE1 |
|---|
| System may not be available sometimes or not working properly, since it is still in development with continuous upgrades |
| NOTICE2 |
|---|
| The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002