Reasoning Control in presence of dynamic classes

Résumé : no abstract
Type de document :
Communication dans un congrès
Proceedings 12th Nordic Workshop on Programming Theory (NWPT'00), 2000, Bergen, Norway. 2000
Liste complète des métadonnées

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〉

Partager

Métriques

Consultations de la notice

11