TY  - UNPD
A1  - Sabel, David
A1  - Schmidt-Schauß, Manfred
T1  - Reconstructing a logic for inductive proofs of properties of functional programs
T2  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik ; 39
T3  - Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik - 39 [v.4] 
KW  - Formale Semantik
KW  - Logik
KW  - Verifikation
KW  - Logics
KW  - Semantics
KW  - Verification
Y1  - 2011
UR  - http://publikationen.ub.uni-frankfurt.de/frontdoor/index/index/docId/34438
UR  - https://nbn-resolving.org/urn:nbn:de:hebis:30:3-344382
UR  - http://www.ki.informatik.uni-frankfurt.de/papers/frank/frank-39-v4.pdf
IS  - Version: 26  Jan. 2011
EP  - 54
PB  - Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik
CY  - Frankfurt am Main
ER  -