Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Rechnerunterstuetzte Analyse von induktiven Beweisen
01.06.2007 - 31.12.2009
Forschungsförderungsprojekt
In diesem Projekt wird Beweisanalyse mittels Resolution von induktiven Beweisen ausgefuehrt
Personen
Projektleiter_in
Alexander Leitsch
(E185)
Projektmitarbeiter_innen
Tomer Libal
(E185)
Daniel Weller
(E185)
Institut
E185 - Institut für Computersprachen
Förderungsmittel
FWF - Österr. Wissenschaftsfonds (National)
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Information and Communication Technology
Schlagwörter
Deutsch
Englisch
induktive Beweise
inductive proofs
Resolution
resolution
Beweisanalyse
proof analysis
Publikationen
Publikationsliste