Dr. Ulrich Berger

Address University of Wales Swansea
Department of Computer Science
Singleton Park
SA2 8PP Swansea
Großbritannien

Projects

As Cooperation Partner
- Current projects
  - Computing with Infinite Data: Program Extraction from Proofs in a Constructive Logic Extended by (Co-)Inductive Definitions, Its Computational Power, and Applications (Research Grants)