Zvi Galil, Wolfgang J. Paul
Journal of the ACM
An attempt is made to present a framework for the diverse complete problems that have been found. A new concept-a Hierarchy of Complete Problems is defined. Several hierarchies in various domains such as graph theory, automata theory, theorem proving and games are established. © 1976 Springer-Verlag.
Zvi Galil, Wolfgang J. Paul
Journal of the ACM
Zvi Galil
STOC 1976
Zvi Galil, Giuseppe F. Italiano, et al.
STOC 1992
Arnold L. Rosenberg, Derick Wood, et al.
Mathematical Systems Theory