Contribution
Trieste - Italy
-
Main Building Main Lecture Hall
Quantifier elimination for boolean products of real closed valuation rings
Speakers
- J.I. GUIER ACOSTA
Primary authors
- J.I. GUIER ACOSTA (Universidad de Costa Rica, San Pedro, Costa Rica)
Organizers
F. Broglia, K. Kurdyka, M.F. Roy and C. Traverso