Search the dblp DataBase
Roel C. de Vrijer :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] Jan Willem Klop , Roel C. de Vrijer Infinitary Normalization. [Citation Graph (0, 0)][DBLP ] We Will Show Them! (2), 2005, pp:169-192 [Conf ] Jan Willem Klop , Roel C. de Vrijer Extended Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] CTRS, 1990, pp:26-50 [Conf ] 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 ] 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 ] Roel C. de Vrijer Extending the Lambda Calculus with Surjective Pairing is Conservative [Citation Graph (0, 0)][DBLP ] LICS, 1989, pp:204-215 [Conf ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Reduction Under Substitution. [Citation Graph (, )][DBLP ] Local Termination. [Citation Graph (, )][DBLP ] Proving Infinitary Normalization. [Citation Graph (, )][DBLP ] Local Termination: theory and practice [Citation Graph (, )][DBLP ] Search in 0.002secs, Finished in 0.002secs