Christelle Scharff (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Christelle Scharff, Leo Bachmair: On the Combination of Congruence Closure and Completion. AISC 2004: 103-117

Selection of 1 from 15 records - Christelle Scharff has 21 coauthors