Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications, generated: 7:12, 16 October 2019

Search the publication database

  . Return

Your search returned the following document:

  1. Duc-Khanh Tran, Christopher Ringeissen, Silvio Ranise, and Helene Kirchner
    Combinations of Convex Theories: Modularity, Deduction Completeness and Explanation
    Journal of Symbolic Computation 45- (2): 261-286, 2009. Note: Accepted for publication