You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.
Dynamical Systems via Domains
Dhr. L.A. Hornischer will defend the dissertation 'Dynamical Systems via Domains: Toward a Unified Foundation of Symbolic and Non-symbolic Computation'. Supervisors are Prof. M. van Lambalgen and Prof. F. Berto.