DMCA

Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation (2008)

by Duc-Khanh Tran , Christophe Ringeissen , Silvio Ranise , Hélène Kirchner
Citations:2 - 0 self