Dr. Jules Chouquet

Adresse Université d'Orléans
Laboratoire d'Informatique Fondamentale d'Orléans (LIFO) - UR 4022
Rue Léonard de Vinci B.P. 6759
F-45067 Orléans
Frankreich

Projekte

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