Synthesis of optimal double-rail logic networks using NOR-OR gates by integer programming.

"Supported in part by ... Grant no. NSF GJ-503."

YAQ : a 360 assembler version of the algorithm Aq and comparison with other PL/I programs /

"UILU-ENG 77 1724."

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.

Degrees of unsolvability in the theory of programming languages,

Bibliography: p. 120-123.

An error analysis of solutions to sparse linear programming problems,

"Supported in part by the Advanced Research Projects Agency ... contract no. US AF 30(602) 4144."

Implicit enumeration algorithm of integer programming on Illiac IV,

Bibliography: p. 29.

Optimum network design using NOR-OR gates by integer programming.

"Supported in part by ... Grant no. NSF GJ-503."

Transportation of higher-level language programs: exemplified by an ALGOL 68 transportation representation /

Includes bibliographical references.

VIPTRAN2 : an improved programming language and its compiler for process control equations /

Mode of access: Internet.

The design of NOR networks under fan-in and fan-out const[r]aints : a programming manual for FIFOTRAN-G1 /

"Report No. UIUCDCS-R-74-661"

Measuring the knowledge-content of programs /

Bibliography: p. 41.

Well-founded orderings for proving termination of systems of rewrite rules /

Bibliography: p. 34.

Show-and-Tell; an interactive programming system for image processing.

Includes bibliographical references.