Skip to Main content Skip to Navigation
Conference papers

Reasoning Control in presence of dynamic classes

Olaf Owe 1 Isabelle Ryl 1 
1 Department of Informatics [Oslo]
Résumé : no abstract
Document type :
Conference papers
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⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

11

 

Contact                    Legal Notice                    Personal Data