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

MPI-INF RG1 Publications, generated: 5:30, 22 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Christopher Lynch and Duc-Khanh Tran
    SMELS: Satisfiability Modulo Equality with Lazy Superposition
    In: Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, 2008, 186-200
  2. 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