Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Université d'Orléans
Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) - UR 4022

Address Rue Léonard de Vinci B.P. 6759
F-45067 Orléans
Frankreich

F-45067 Orléans

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