Search the dblp DataBase
Hendrik Pieter Barendregt: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1987, pp:141-158 [Conf] - Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, John R. W. Glauert, Richard Kennaway, Marinus J. Plasmeijer, M. Ronan Sleep
Towards an Intermediate Language based on Graph Rewriting. [Citation Graph (0, 0)][DBLP]
PARLE (2), 1987, pp:159-175 [Conf] - Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt
Termination for the Direct Sum of left-Linear Term Rewriting Systems -Preliminary Draft-. [Citation Graph (0, 0)][DBLP]
RTA, 1989, pp:477-491 [Conf] - Hendrik Pieter Barendregt, Richard Kennaway, Jan Willem Klop, M. Ronan Sleep
Needed Reduction and Spine Strategies for the Lambda Calculus [Citation Graph (0, 0)][DBLP]
Inf. Comput., 1987, v:75, n:3, pp:191-231 [Journal] - Yoshihito Toyama, Jan Willem Klop, Hendrik Pieter Barendregt
Termination for Direct Sums of Left-Linear Complete Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
J. ACM, 1995, v:42, n:6, pp:1275-1304 [Journal] - Hendrik Pieter Barendregt, Marko C. J. D. van Eekelen, Marinus J. Plasmeijer, John R. W. Glauert, Richard Kennaway, M. Ronan Sleep
LEAN: an intermediate language based on graph rewriting. [Citation Graph (0, 0)][DBLP]
Parallel Computing, 1989, v:9, n:2, pp:163-177 [Journal]
Search in 0.001secs, Finished in 0.002secs
| 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