Tutorial on SMT and Polynomial Arithmetic

View Statistics Email Alert RSS Feed

Description

Event name
Tutorial on SMT and Polynomial Arithmetic
 
Event type
Event for scientific audience
 
Start date
26-05-2016
End date
27-05-2016
 
Location
Chalmers University, Gothenburg, Sweden
Country
Europe
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen


Treffer 1-1 von 1 (Suchzeit: 0.001 Sekunden).

VorschauAutor_in(nen)TitelDokumenttypErscheinungs­datum
1Jaroschek, Maximilian Quantifier Elimination Over The RealsPräsentation Presentation2016