Reasoning Control in presence of dynamic classes
Résumé
no abstract
Communication Dans Un Congrès
Année : 2000
Isabelle Simplot-Ryl : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00550386
Soumis le : lundi 27 décembre 2010-15:34:28
Dernière modification le : jeudi 19 octobre 2023-14:22:31
Dates et versions
Identifiants
- HAL Id : inria-00550386 , version 1
Citer
Olaf Owe, Isabelle Ryl. Reasoning Control in presence of dynamic classes. Proceedings 12th Nordic Workshop on Programming Theory (NWPT'00), 2000, Bergen, Norway. ⟨inria-00550386⟩
13
Consultations
0
Téléchargements