Author:
Conchon Sylvain,Contejean Evelyne,Kanig Johannes,Lescuyer Stéphane
Subject
General Computer Science,Theoretical Computer Science
Reference12 articles.
1. Variations on the common subexpressions problem;Downey;J. ACM,1980
2. ICS: Integrated Canonization and Solving (Tool presentation);Filliâtre,2001
3. Canonization for disjoint unions of theories;Krstić;Information and Computation,2005
4. Simplification by cooperating decision procedures;Nelson;ACM Trans. on Programming, Languages and Systems,1979
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献