Sciweavers

IANDC
2007

Fast congruence closure and extensions

13 years 11 months ago
Fast congruence closure and extensions
Robert Nieuwenhuis, Albert Oliveras
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where IANDC
Authors Robert Nieuwenhuis, Albert Oliveras
Comments (0)