Conference Papers
Year : 2000
Isabelle Simplot-Ryl : Connect in order to contact the contributor
https://inria.hal.science/inria-00550386
Submitted on : Monday, December 27, 2010-3:34:28 PM
Last modification on : Thursday, October 19, 2023-2:22:31 PM
Dates and versions
Identifiers
- HAL Id : inria-00550386 , version 1
Cite
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
View
0
Download