|
Search the dblp DataBase
Rob R. Hoogerwoord:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Rob R. Hoogerwoord
Programming by Calculation. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1996, pp:407-426 [Conf]
- Rob R. Hoogerwoord
A Logarithmic Implementation of Flexible Arrays. [Citation Graph (0, 0)][DBLP] MPC, 1992, pp:191-207 [Conf]
- Rob R. Hoogerwoord
A Derivation of Huffman's Algorithm. [Citation Graph (0, 0)][DBLP] MPC, 1992, pp:375-378 [Conf]
- Rob R. Hoogerwoord
Formality works. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2001, v:77, n:2-4, pp:137-142 [Journal]
- Rob R. Hoogerwoord
An Implementation of Mutual Inclusion. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1986, v:23, n:2, pp:77-80 [Journal]
- Rob R. Hoogerwoord
A Calculational Derivation of the Casop Algorithm. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1990, v:36, n:6, pp:297-299 [Journal]
- Rob R. Hoogerwoord
A Symmetric Set of Efficient List Operations. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 1992, v:2, n:4, pp:505-513 [Journal]
- Jo C. Ebergen, Rob R. Hoogerwoord
A Derivation of a Serial-Parallel Multiplier. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1990, v:15, n:2-3, pp:201-215 [Journal]
Search in 0.001secs, Finished in 0.002secs
|