共 50 条
- [3] On the Betti numbers of semialgebraic sets defined by few quadratic inequalities Mathematische Zeitschrift, 1997, 225 : 231 - 244
- [4] Computing the Top Betti Numbers of Semialgebraic Sets Defined by Quadratic Inequalities in Polynomial Time Foundations of Computational Mathematics, 2008, 8 : 45 - 80
- [7] A tableau calculus for quantifier-free set theoretic formulae AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, 1998, 1397 : 93 - 107
- [8] Betti numbers of semialgebraic and sub-Pfaffian sets JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2004, 69 : 27 - 43
- [10] MonadicNLIN and quantifier-free reductions COMPUTER SCIENCE LOGIC, PROCEEDINGS, 1999, 1683 : 322 - 337