Umfassende Service-Einschränkungen im Bereich Ausleihe ab 17. März!
ISO-690 (author-date, English)

RAU, Conrad und SCHMIDT-SCHAUSS, Manfred, 2010. Towards correctness of program transformations through unification and critical pair computation. Frankfurt [am Main]: Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology. Technical report Frank, 41.

Elsevier - Harvard (with titles)

Rau, C., Schmidt-Schauß, M., 2010. Towards correctness of program transformations through unification and critical pair computation, Technical report Frank, Technical report Frank. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt [am Main]. https://doi.org/urn:nbn:de:hebis:30-71275

American Psychological Association 7th edition

Rau, C., & Schmidt-Schauß, M. (ca. 2010). Towards correctness of program transformations through unification and critical pair computation [Cd]. In Technical report Frank. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology. https://doi.org/urn:nbn:de:hebis:30-71275

Springer - Basic (author-date)

Rau C, Schmidt-Schauß M (2010) Towards correctness of program transformations through unification and critical pair computation. Johann Wolfgang Goethe-Univ., Fachbereich Informatik und Mathematik, Inst. für Informatik, Research group for Artificial Intelligence and Software Technology, Frankfurt [am Main]

Juristische Zitierweise (Stüber) (Deutsch)

Rau, Conrad/ Schmidt-Schauß, Manfred, Towards correctness of program transformations through unification and critical pair computation, Frankfurt [am Main] 2010.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.