Go directly to content Go directly to font size and contrast

Project Details

Person

Print View

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)

© 2024 DFG Disclaimer / Copyright / Privacy Policy