Dr. Ulrich Berger

Adresse University of Wales Swansea
Department of Computer Science
Singleton Park
SA2 8PP Swansea
Großbritannien

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)