Universität Siegen
Fachgruppe Reine Mathematik und Informatik
Arbeitsgruppe Mathematische Logik und Theoretische Informatik

Address Walter-Flex-Straße 3
57072 Siegen
Deutschland

GERiT This institution in GERiT

57072 Siegen

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 )