H. R. Wüthrich

Publication Activity (10 Years)

Years Active: 1975-1976
Publications (10 Years): 0

Publications

H. R. Wüthrich
Ein Entscheidungsverfahren für die Theorie der reell- abgeschlossenen Körper. Komplexität von Entscheidungsproblemen 1976 (1976)
Joos Heintz, H. R. Wüthrich
An efficient quantifier elimination algorithm for algebraically closed fields of any characteristic. SIGSAM Bull. 9 (4) (1975)