Detailseite

Professor Dr. Dieter Spreen

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

Projekte

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

Servicenavigation

Hauptnavigation

Professor Dr. Dieter Spreen

Zusatzinformationen

Servicenavigation

Hauptnavigation

Professor Dr. Dieter Spreen

Zusatzinformationen

Textvergrößerung und Kontrastanpassung