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

Detailseite

Institution

Druckansicht

Universität Siegen
Fachgruppe Reine Mathematik und Informatik
Arbeitsgruppe Mathematische Logik und Theoretische Informatik

Adresse Walter-Flex-Straße 3
57072 Siegen
Deutschland

GERiT Diese Institution in GERiT

57072 Siegen

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