Reasoning Control in presence of dynamic classes

Olaf Owe 1 Isabelle Ryl 1
1 Department of Informatics [Oslo]
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〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

14

Contact


archive-ouverte@inria.fr