ISO-690 (author-date, English)

RENÉ THIEMANN und JÜRGEN GIESL, 2005. The size-change principle and dependency pairs for termination of term rewriting. Applicable Algebra in Engineering, Communication & Computing. 1 September 2005. Vol. 16, no. 4, p. 229-270.

Elsevier - Harvard (with titles)

René Thiemann, Jürgen Giesl, 2005. The size-change principle and dependency pairs for termination of term rewriting. Applicable Algebra in Engineering, Communication & Computing 16, 229-270.

American Psychological Association 7th edition

René Thiemann, & Jürgen Giesl. (2005). The size-change principle and dependency pairs for termination of term rewriting. Applicable Algebra in Engineering, Communication & Computing, 16(4), 229-270.

Springer - Basic (author-date)

René Thiemann, Jürgen Giesl (2005) The size-change principle and dependency pairs for termination of term rewriting.. Applicable Algebra in Engineering, Communication & Computing 16:229-270

Juristische Zitierweise (Stüber) (Deutsch)

René Thiemann/ Jürgen Giesl, The size-change principle and dependency pairs for termination of term rewriting., Applicable Algebra in Engineering, Communication & Computing 2005, 229-270.

Bitte prüfen Sie die Zitate auf Korrektheit, bevor Sie diese in Ihre Arbeit einfügen.