• Reconstruction a logic for ind...
  • *Description*

*Result*: Reconstruction a logic for inductive proofs of properties of functional programs

*Title*:
Reconstruction a logic for inductive proofs of properties of functional programs / David Sabel and Manfred Schmidt-Schauß
*Author/editor-in-chief*:
Sabel, David (Verfasser); Schmidt-Schauß, Manfred (Verfasser)
*Edition*:
June 22, 2010
*Publication*:
Frankfurt [am Main] : Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, 2010
*Physical description scale*:
1 Online-Ressource
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Technical report Frank ; 39
*show_all_volumes*
*Subject Added Keywords*:
*oa_rights*:
Open Access

*Additional information*

*Additional functions*