Other Publications
Year : 2009
Areces Carlos : Connect in order to contact the contributor
https://inria.hal.science/inria-00437468
Submitted on : Monday, November 30, 2009-4:18:55 PM
Last modification on : Friday, March 24, 2023-2:52:52 PM
Dates and versions
Identifiers
- HAL Id : inria-00437468 , version 1
Cite
Daniel Gorin. Automated reasoning techniques for hybrid logics. 2009. ⟨inria-00437468⟩
Collections
40
View
0
Download