Canonical simplification of finite objects, well quasi-ordered by tree embedding
By: Thomas C. Brown, Jr.
Series: [Report] - UIUCDCS-R-79-; 981
Publisher: Dept. of Computer Science, University of Illinois at Urbana-Champaign
Published: 1979
Place of publication: Urbana, Ill
Language: eng
Number of pages: 33
Subjects: Lambda calculus.; Trees (Graph theory); Directed graphs.; Embeddings (Mathematics)
Notes: Bibliography: p. 31-33.
"UILU-ENG 79 1727."