Lecture Notes in Mathematics Volume 1103, 1984, pp 419-472
Date: 15 Nov 2006

Quantifier elimination and decision procedures for valued fields

* Final gross prices may vary according to local VAT.

Get Access