The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Fer-Jan de Vries: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Richard Kennaway, Vincent van Oostrom, Fer-Jan de Vries
    Meaningless Terms in Rewriting. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:254-268 [Conf]
  2. 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]
  3. Paula Severi, Fer-Jan de Vries
    Order Structures on Böhm-Like Models. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:103-118 [Conf]
  4. Franco Barbanera, Mariangiola Dezani-Ciancaglini, Fer-Jan de Vries
    Types for trees. [Citation Graph (0, 0)][DBLP]
    PROCOMET, 1998, pp:11-29 [Conf]
  5. 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]
  6. 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]
  7. Paula Severi, Fer-Jan de Vries
    An Extensional Böhm Model. [Citation Graph (0, 0)][DBLP]
    RTA, 2002, pp:159-173 [Conf]
  8. 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]
  9. Paula Severi, Fer-Jan de Vries
    Continuity and Discontinuity in Lambda Calculus. [Citation Graph (0, 0)][DBLP]
    TLCA, 2005, pp:369-385 [Conf]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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.054secs, Finished in 0.055secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002