An algorithm for inferring multivalued dependencies that works also for a subclass of propositional logic /

"UILU-ENG 79 1714."

Design of Irredundant MOS Networks : a program manual for the design algorithm DIMN /

Thesis (M. S.)--University of Illinois at Urbana-Champaign.

Alternative methods for solving the CC-table in Gimpel's algorithm for synthesizing optimal three level NAND networks /

Bibliography: p. 27.