Confluence and expressiveness in reduction systems / Ivano Salvo ; advisor: Benedetto Intriglia ; reviewers: Mario Coppo, Steffen vanBakel
2004.
1 v.
In testa al front.: Università degli studi di Roma La Sapienza, dottorato di ricerca in informatica, 11. ciclo, 2000
BN 2005-29T
INF/01 - Informatica


Tesi di dottorato. | Lingua: Inglese. | Paese: IT. | BID: BNI0006229
Biblioteca Inventario Collocazione Fruizione status
Biblioteca Nazionale Centrale - Firenze TVD980401069 TDR 2004 01069 Lettura tesi in sede