Navegar

Colección

Datos Estadísticas

Lista de

13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999
1
1999
1
"Using fields and explicit substitutions to implement objects and functions in a de Bruijn setting" (1999) Bonelli, E.; Rodriguez-Artalejo M.; Flum J. 13th International Workshop on Computer Science Logic, CSL 1999 and held as International Workshops on Computer Science Logic, EACSL 1999. 1683:204-219