A Paull-Unger procedure for substitution property partitions
By: by R. B. McGhee and S. R. Dillon
Contributors: Dillon, Stephen Roy
Series: Ohio. State University, Columbus. Computer and Information Science Research Center. Technical report series -- 70-5
Publisher: Computer and Information Science Research Center, Ohio State University
Published: 1970
Place of publication: Columbus, Ohio
Language: eng
Number of pages: 16
Subjects: Sequential machine theory
Notes: Work performed under grant no. GN-534.1, National Science Foundation.

Bibliography: leaf 11.