Scientific Calendar Event



Home > Timetable > Session details
PDF | iCal

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
Building timetable...

Organizers

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