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

Bibliography: p. 49.

Selection of most representative training examples and incremental generation of VL₁ hypotheses : the underlying methodology and the description of programs, ESEL and AQ11 /

"UILU-ENG 78-1720"

Network computer analysis,

Bibliography: p. 25-28.

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."

A theory of asynchronous circuits I /

"This work has been supported in part by the Office of Naval Research under Contract NR 044 001"

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

"UILU-ENG 77 1724."

A generalization of Ramsey theory for graphs /

Includes bibliographical references.

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.

The theory and implementation of SRT division /

Issued also as thesis (M.S.) University of Illinois.

Knowledge base refinement as improving an incorrect, inconsistent and incomplete domain theory

UIUCDCS-R-89-1585

Degrees of unsolvability in the theory of programming languages,

Bibliography: p. 120-123.

The evolution of programs : program abstraction and instantiation /

"NSF-MCS-79-04897."

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

Includes bibliographical references.