Quantifier elimination for boolean products of real closed valuation rings
Place
Location: Trieste - Italy
Room: Main Building Main Lecture Hall
Date:
20 Aug 16:00 - 16:30
Timetable | Contribution List
Displaying 1
contribution
out of
1
Presented by J.I. GUIER ACOSTA
on
20/8/2003
at
16:00
Organizers
F. Broglia, K. Kurdyka, M.F. Roy and C. Traverso