Richard M. Karp, Raymond E. Miller, et al.
STOC 1972
Previous characterizations of the class of addressable data graphs have been intrinsic in nature. In this note, the auxiliary concept of a monoid system is used to derive an extrinsic characterization of the class. Specifically, a partial transformation of the class of data graphs is found which fixes (up to isomorphism) precisely the addressable data graphs. © 1974.
Richard M. Karp, Raymond E. Miller, et al.
STOC 1972
Arnold L. Rosenberg
POPL 1973
Arnold L. Rosenberg
Journal of Computer and System Sciences
Arnold L. Rosenberg, Lawrence Snyder
SIGMOD 1979