Canonical simplification of finite objects, well quasi-ordered by tree embedding /


Autoria(s): Brown, Thomas C.
Data(s)

31/12/1969

Resumo

"UILU-ENG 79 1727."

Bibliography: p. 31-33.

Mode of access: Internet.

Formato

con

Identificador

http://hdl.handle.net/2027/uiuo.ark:/13960/t14n0rx3h

Idioma(s)

eng

Publicador

Urbana, Ill. : Dept. of Computer Science, University of Illinois at Urbana-Champaign,

Direitos

Items in this record are available as Creative Commons Attribution-NonCommercial-ShareAlike. View access and use profile at http://www.hathitrust.org/access_use#cc-by-nc-sa-3.0. Please see individual items for rights and use statements.

Palavras-Chave #Embeddings (Mathematics) #Lambda calculus #Directed graphs #Trees (Graph theory)
Tipo

text