хранилище/kolxo3/issue5─6/DVD12/_Papers/Computer_algebra/Quantifier elimination/
01 010741 Dolzmann. Local quantifier elimination(9s).pdf [request] 02-09-2013:02-46

02 010742 Dolzmann. Simplification of quantifier-free formulae. JSC 1997(T)(24s).djvu [request] 02-09-2013:02-46

03 010743 Nguyen et al. PALMINI, fast Boolean minimization(T)(7s).djvu [request] 02-09-2013:02-46

04 010744 Richardson. Elimination of infinitesimal quantifiers (JPAA 1999)(T)(19s).djvu [request] 02-09-2013:02-46

05 010745 Sturm T. Lineare Quantorelimination in bewerteten Koerpern (Diplomarbeit, 1995)(49s).ps.gz [request] 02-09-2013:02-46

06 010746 Sturm T. Real quadratic quantifier elimination in Risa-Asir (1996)(15s).ps.gz [request] 02-09-2013:02-46

07 010747 Weispfenning. Complexity of problems in archimedean ordered groups (EUROCAL85)(L)(T)(2s).djvu [request] 02-09-2013:02-46

08 010748 Weispfenning. Efficient decision procedures for locally finite theories II (ISSAC1988)(L)(T)(6s).djvu [request] 02-09-2013:02-46

09 010749 Woods. Efficient solution of systems of boolean equations(5s).pdf [request] 02-09-2013:02-47