Michael J. O'Donnell
Christoph M. Hoffmann and Michael J. O'Donnell.
Pattern matching in trees.
Journal of the ACM
, 29(1):68-95, January 1982.
Citations.
Steven Fortune, Daniel Leivant, and Michael O'Donnell.
The expressiveness of simple and second-order type structures.
Journal of the ACM
, 30(1):151-185, January 1983.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database