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
                
             Calendar file
              Calendar file