Home Advanced Search

Advanced Search - Page 1

Simplification of quantifier-free formulae. JSC 1997
  • DJVU
  • English
  • Author: Dolzmann.
Local quantifier elimination
  • PDF
  • English
  • Author: Dolzmann.
Variational Methods for Crystalline Microstructure - Analysis and Computation
  • PDF
  • English
  • Year: 2003
  • Author: Georg Dolzmann
Real quantifier elimination in practice, survey
  • GZ
  • English
  • Year: 1997
  • Author: Dolzmann, Sturm, Weispfenning.
search