Search the dblp DataBase

Publications of Author

1. Sava Krstic, Sylvain Conchon
   Canonization for Disjoint Unions of Theories. [Citation Graph (0, 0)][DBLP]
   CADE, 2003, pp:197-211 [Conf]
   
2. Sylvain Conchon, François Pottier
   JOIN(X): Constraint-Based Type Inference for the Join-Calculus. [Citation Graph (0, 0)][DBLP]
   ESOP, 2001, pp:221-236 [Conf]
   
3. François Pottier, Sylvain Conchon
   Information flow inference for free. [Citation Graph (0, 0)][DBLP]
   ICFP, 2000, pp:46-57 [Conf]
   
4. Sylvain Conchon, Fabrice Le Fessant
   Jocaml: Mobile Agents for Objective-Caml. [Citation Graph (0, 0)][DBLP]
   ASA/MA, 1999, pp:22-29 [Conf]
   
5. Sylvain Conchon, Sava Krstic
   Strategies for Combining Decision Procedures. [Citation Graph (0, 0)][DBLP]
   TACAS, 2003, pp:537-552 [Conf]
   
6. Sava Krstic, Sylvain Conchon
   Canonization for disjoint unions of theories. [Citation Graph (0, 0)][DBLP]
   Inf. Comput., 2005, v:199, n:1-2, pp:87-106 [Journal]
   
7. Sylvain Conchon, Sava Krstic
   Strategies for combining decision procedures. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:354, n:2, pp:187-210 [Journal]
   
8. Jean-Christophe Filliâtre, Sylvain Conchon
   Type-safe modular hash-consing. [Citation Graph (0, 0)][DBLP]
   ML, 2006, pp:12-19 [Conf]
   
9. Sylvain Conchon, Jean-Christophe Filliâtre
   A persistent union-find data structure. [Citation Graph (0, 0)][DBLP]
   ML, 2007, pp:37-46 [Conf]
   
10. 
    Semi-persistent Data Structures. [Citation Graph (, )][DBLP]
    
    
11. 
    Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme. [Citation Graph (, )][DBLP]
    
    
12. 
    CC(X): Semantic Combination of Congruence Closure with Solvable Theories. [Citation Graph (, )][DBLP]