Peter Müller

1942

• Algorithmische Entscheidbarkeit der Theorie der algebraisch abgeschlossenen Körper