Thomas Streicher is a Professor of Mathematics at Technische Universität Darmstadt. He received his PhD in 1988 from the University of Passau with advisor Manfred Broy...
We use cookies to enhance your browsing experience, analyze site traffic, and personalize content. By clicking "Got It!," you consent to our use of cookies.
