Noetherian spaces and quantifier elimination

Noetherian spaces and quantifier elimination

TitleNoetherian spaces and quantifier elimination
Publication TypeUnpublished
Year of Publication2016
Authorsde Brecht M
Series TitleDagstuhl Seminar
Number16031
Date Published01/2016
InstitutionSchloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
CityDagstuhl, Germany
Short TitleWell quasi-orders in computer science
Undefined