Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Technical report Frank / Johann-Wolfgang-Goethe-Universität, Fachbereich Informatik und Mathematik, Institut für Informatik
Refine
Author
Sabel, David
(1)
Schmidt-Schauß, Manfred
(1)
Year of publication
2011 (1)
(remove)
Document Type
Working Paper (1)
(remove)
Language
English
(1)
Has Fulltext
yes
(1)
Is part of the Bibliography
no
(1)
Keywords
Logics (1)
(remove)
Institute
Informatik
(1)
1
search hit
1
to
1
10
10
20
50
100
39 [v.4]
Reconstructing a logic for inductive proofs of properties of functional programs
(2011)
Sabel, David
;
Schmidt-Schauß, Manfred
1
to
1