NUCLEOL as a formal system.

Thesis (M.S.)--University of Illinois.

PILOT/360 reference manual /

Includes index.

TRANQUIL : a language for an array processing computer /

"April 1, 1969."

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

Bibliography: p. 34.

Illiac III computer system manual : taxicrinic processor, volume 2 /

"This work was supported by Contract AT(11-1)-1018 with the U.S. Atomic Energy Commission through September 30, 1970. Current support is under Contract AV(11-1)-2118 with the above agency."

Recurse : a Plato lesson on recursion /

Bibliography: p. 62.

A study of arithmetic recoding with applications in multiplication and division.

Vita.

Computer security and the data encryption standard : proceedings of the Conference on Computer Security and the Data Encryption Standard held at the National Bureau of Standards in Gaithersburg, Maryland, on February 15, 1977 /

Mode of access: Internet.

Common command language for file manipulation and network job execution : an example /

Includes bibliographical references (p. 27).