Christoph M. Hoffmann
- Christoph M. Hoffmann and Lawrence H. Landweber. A completeness theorem for
straight-line programs with structured variables. Journal of
the ACM, 23(1):203-220, January 1976.
- Christoph M. Hoffmann and Michael J. O'Donnell. Pattern matching in trees.
Journal of the ACM, 29(1):68-95, January 1982.
Citations.
- Zvi Galil, Christoph M. Hoffmann, Eugene M. Luks, Claus P. Schnorr, and
Andreas Weber. An
O(n^3 log n) deterministic and an
O(n^3) Las Vegas isomorphism test for trivalent
graphs. Journal of the ACM, 34(3):513-531, July 1987.
Shortcuts: