Scientific Calendar Event



Home > Timetable > Session details > Contribution details

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

Organizers

F. Broglia, K. Kurdyka, M.F. Roy and C. Traverso