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
)