A monograph studying the equivalence and sustainability problems of various computational models. Covers Boolean formulas, circuits, and various branching problems. The models being studied all come from formal language theory, logic, or circuit theory. Softcover.
