8485 articles  [english version]
.:. Consultation > Par auteur > Tran .:.
1 document
fulltext access Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
Tran D.-K., Ringeissen C., Ranise S., Kirchner H.
N° RR-6688 (2008) [inria-00331479 - version 1]