Sciweavers

AISC
2004
Springer

On the Combination of Congruence Closure and Completion

14 years 5 months ago
On the Combination of Congruence Closure and Completion
Christelle Scharff, Leo Bachmair
Added 30 Jun 2010
Updated 30 Jun 2010
Type Conference
Year 2004
Where AISC
Authors Christelle Scharff, Leo Bachmair
Comments (0)