The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Roel C. de Vrijer: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
    Iterative Lexicographic Path Orders. [Citation Graph (0, 0)][DBLP]
    Essays Dedicated to Joseph A. Goguen, 2006, pp:541-554 [Conf]
  2. Jan Willem Klop, Roel C. de Vrijer
    Infinitary Normalization. [Citation Graph (0, 0)][DBLP]
    We Will Show Them! (2), 2005, pp:169-192 [Conf]
  3. Jan Willem Klop, Roel C. de Vrijer
    Extended Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    CTRS, 1990, pp:26-50 [Conf]
  4. Roel C. de Vrijer
    Big trees in a lambda - calculus with lambda - expressions as types. [Citation Graph (0, 0)][DBLP]
    Lambda-Calculus and Computer Science Theory, 1975, pp:252-271 [Conf]
  5. Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
    Completing Partial Combinatory Algebras With Unique Head-Normal Forms. [Citation Graph (0, 0)][DBLP]
    LICS, 1996, pp:448-454 [Conf]
  6. Roel C. de Vrijer
    Extending the Lambda Calculus with Surjective Pairing is Conservative [Citation Graph (0, 0)][DBLP]
    LICS, 1989, pp:204-215 [Conf]
  7. Vincent van Oostrom, Roel C. de Vrijer
    Four equivalent equivalences of reductions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:70, n:6, pp:- [Journal]
  8. Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
    Descendants and Origins in Term Rewriting. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:159, n:1-2, pp:59-124 [Journal]
  9. Jan Willem Klop, Roel C. de Vrijer
    Unique Normal Forms for Lambda Calculus with Surjective Pairing [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1989, v:80, n:2, pp:97-113 [Journal]
  10. Jan Willem Klop, Aart Middeldorp, Yoshihito Toyama, Roel C. de Vrijer
    Modularity of Confluence: A Simplified Proof. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1994, v:49, n:2, pp:101-109 [Journal]
  11. Mirna Bognar, Roel C. de Vrijer
    A Calculus of Lambda Calculus Contexts. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 2001, v:27, n:1, pp:29-59 [Journal]
  12. Roel C. de Vrijer
    A Direct Proof of the Finite Developments Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1985, v:50, n:2, pp:339-343 [Journal]
  13. Jan Willem Klop, Vincent van Oostrom, Roel C. de Vrijer
    A geometric proof of confluence by decreasing diagrams. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2000, v:10, n:3, pp:437-460 [Journal]
  14. Inge Bethke, Jan Willem Klop, Roel C. de Vrijer
    Extending partial combinatory algebras. [Citation Graph (0, 0)][DBLP]
    Mathematical Structures in Computer Science, 1999, v:9, n:4, pp:483-505 [Journal]

  15. Reduction Under Substitution. [Citation Graph (, )][DBLP]


  16. Local Termination. [Citation Graph (, )][DBLP]


  17. Proving Infinitary Normalization. [Citation Graph (, )][DBLP]


  18. Local Termination: theory and practice [Citation Graph (, )][DBLP]


Search in 0.006secs, Finished in 0.007secs
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