Direkt zum Inhalt springen Direkt zu Textvergrößerung und Kontrast springen

Detailseite

Institution

Druckansicht

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

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

F-45067 Orléans

Projekte

Sachbeihilfen
- laufende Projekte
  - Berechnungen mit infiniten Daten: Programmextraktion aus Beweisen in einer um (ko)induktive Definitionen erweiterten konstruktiven Logik, die Berechnungsstärke und Anwendungen
    (Antragsteller Spreen, Dieter )

© 2024 DFG Kontakt / Impressum / Datenschutz