Project Details

Professor Dr. Dieter Spreen

Address Universität Siegen
Fachgruppe Reine Mathematik und Informatik
Arbeitsgruppe Mathematische Logik und Theoretische Informatik
Walter-Flex-Straße 3
57072 Siegen

Projects

As Applicant
- 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)

Servicenavigation

Hauptnavigation

Professor Dr. Dieter Spreen

Additional Information

Servicenavigation

Hauptnavigation

Professor Dr. Dieter Spreen

Additional Information

Textvergrößerung und Kontrastanpassung