Sciweavers

68
Voted
COLING
1994
14 years 10 months ago
Structure Sharing Problem And Its Solution In Graph Unification
The revised graph unification algorithms presented here are more efficient because they reduce the amount of copying that was necessary because of the assumption that data-structu...
Kiyoshi Kogure