• Towards correctness of program...
  • *Holdings*

*Result*: Towards correctness of program transformations through unification and critical pair computation

*Title*:
Towards correctness of program transformations through unification and critical pair computation / Conrad Rau and Manfred Schmidt-Schauß
*Author/editor-in-chief*:
Rau, Conrad; Schmidt-Schauß, Manfred
*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
*Format*:
*eBook*
*Language*:
*eng*
*series_multipart*:
Technical report Frank ; 41
*show_all_volumes*
*Reproduction note*:
Online-Ausg.: [Frankfurt am Main : Univ.-Bibliothek], 2010. - Online-Ressource
*oa_rights*:
Open Access

*Additional information*

*Additional functions*