|
 
|
Keiko Nakata
|
Post-doc Equipe SYS Parti depuis le 31/08/2008 Mail : keiko  kurims.kyoto-u.ac.jp
Tel : (33)15880 Fax : (33)15880 http://cedric.cnam.fr/~nakata |
Keiko's Tag-Cloud : |
Publications
2007
-
[NG07]
K. Nakata, J. Garrigue.
"Path resolution for recursive nested modules is undecidable",
Date de dépot: 2007/01/01,
(Tech. Rep.: CEDRIC-07-1202)
