Program manual : NOR network transduction based on connectable and disconnectable conditions (reference manual of NOR network transduction programs NETTRA-G1 and NETTRA-G2) /

"UIUCDCS-R-75-698"

Network transduction based on permissible functions : general principles of NOR network transduction NETTRA programs /

Includes bibliographical references.

NOR network transduction based on error-compensation : principles of NOR network transduction programs NETTRA-E1, NETTRA-E2, and NETTRA-E3 /

Bibliography: p. 101-102.

Program manual for the programs ILLOD-MINSUM-CBS, ILLOD-MINSUM-CBSA, ILLOD-MINSUM-CBG, and ILLOD-MINSUM-CBGM, to derive minimal sums or irredundant disjunctive forms for switching functions /

"UILU-ENG 78 1719."

Toward computer-aided induction : a brief review of currently implemented AQVAL programs /

"UILU-ENG 77 1726."

Program manual, NOR network transduction by generalized gate merging and substitution : (reference manual of NOR network transduction programs NETTRA-G3 and NETTRA-G4) /

Includes bibliographical references.

Pruning procedures for NOR networks using permissible functions : principles of NOR network transduction programs NETTRA-PGI, NETTRA-P1, and NETTRA-P2 /

Bibliography: p. 49.

Network transduction programs based on connectable and disconnectable conditions with fan-in and fan-out restrictions : (a description of NETTRA-G1-FIFO and NETTRA-G2-FIFO) /

Includes bibliographical references.

Program manual : NOR network transduction based on error-compensation : (Reference manual of NOR network transduction programs NETTRA-EL, NETTRA-E2, and NETTRA-E3) /

"Work supported in part by the National Science Foundation under Grant no. GJ-40221."

NOR network transduction by generalized gate merging and substitution procedures : (principles of NOR network transduction programs NETTRA-G3 and NETTRA-G4) /

Includes bibliographical references.

NOR network transduction procedures based on connectable and disconnectable conditions : principles of NOR network transduction programs NETTRA-G1 and NETTRA-G2 /

Bibliography: p. 63.

Program manual of programs for minimal covering problems : ILLOD-MINIC-B, ILLOD-MINIC-BP, ILLOD-MINIC-BS, ILLOD-MINIC-BA, ILLOD-MINIC-BG /

Includes bibliography references.