Conference Papers
Lecture Notes in Computer Science
Year : 2009
Khalil Djelloul : Connect in order to contact the contributor
https://hal.science/hal-00460808
Submitted on : Tuesday, March 2, 2010-3:33:50 PM
Last modification on : Thursday, September 15, 2022-2:33:36 PM
Dates and versions
Identifiers
- HAL Id : hal-00460808 , version 1
Cite
Khalil Djelloul. An efficient decision procedure for functional decomposable theories based on dual constraints. CSCLP 2008., Apr 2008, France. pp.33-50. ⟨hal-00460808⟩
Collections
25
View
0
Download