https://hal.inria.fr/inria-00550386
Contributeur : Isabelle Simplot-Ryl
<>
Soumis le : lundi 27 décembre 2010 - 15:34:28
Dernière modification le : lundi 27 décembre 2010 - 15:34:28
Identifiants
HAL Id : inria-00550386, version 1
Citation
Olaf Owe, Isabelle Ryl. Reasoning Control in presence of dynamic classes. Proceedings 12th Nordic Workshop on Programming Theory (NWPT'00), 2000, Bergen, Norway. 2000. 〈inria-00550386〉