Skip to Main content Skip to Navigation
Conference papers

Reasoning Control in presence of dynamic classes

Résumé : no abstract
Complete list of metadata

https://hal.inria.fr/inria-00550386
Contributor : Isabelle Simplot-Ryl Connect in order to contact the contributor
Submitted on : Monday, December 27, 2010 - 3:34:28 PM
Last modification on : Tuesday, February 18, 2020 - 2:11:07 PM

Identifiers

  • 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. ⟨inria-00550386⟩

Share

Metrics

Record views

11