The recursive nature of descriptions : a fixed point /

"UIUC-ENG-R-75-2539."

Lecture notes on recursive arithmetic.

Caption title.

Predicting regional crop production : an application of recursive programming /

Literature cited and selected references: p. 70-73.

Orderings for term-rewriting systems /

"Research supported in part under NSF grant MCS 77-22830."

Degrees of unsolvability in the theory of programming languages,

Bibliography: p. 120-123.

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

Bibliography: p. 34.

Recurse : a Plato lesson on recursion /

Bibliography: p. 62.