ISO-690 (author-date, English)

DOWEK, Gilles (Hrsg.). [cd]. 2014. 1 st ed. 2014. Cham: Springer International Publishing. ISBN 9783319089188.

Elsevier - Harvard (with titles)

Dowek, G. (Hrsg.), 2014. Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Theoretical Computer Science and General Issues. https://doi.org/10.1007/978-3-319-08918-8

American Psychological Association 7th edition

Dowek, G. (Hrsg.). (ca. 2014). Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings [Cd]. In Theoretical Computer Science and General Issues (1 st ed. 2014). Springer International Publishing. https://doi.org/10.1007/978-3-319-08918-8

Springer - Basic (author-date)

Dowek G (Hrsg.) (2014) Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings. Theoretical Computer Science and General Issues

Juristische Zitierweise (Stüber) (Deutsch)

Dowek, Gilles (Hrsg.), Rewriting and Typed Lambda Calculi : Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings, Theoretical Computer Science and General Issues 2014, .

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