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.
Ссылка удалена правообладателем ---- The book removed at the request of the copyright holder.