Sciweavers

DAM
2008

Models and quantifier elimination for quantified Horn formulas

13 years 11 months ago
Models and quantifier elimination for quantified Horn formulas
Uwe Bubeck, Hans Kleine Büning
Added 26 Dec 2010
Updated 26 Dec 2010
Type Journal
Year 2008
Where DAM
Authors Uwe Bubeck, Hans Kleine Büning
Comments (0)