Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

University of Wales Swansea
Department of Computer Science

Address Singleton Park
SA2 8PP Swansea
Großbritannien

SA2 8PP Swansea

Projects

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

© 2024 DFG Disclaimer / Copyright / Privacy Policy