Rewriting and Typed Lambda Calculi

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 verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Rewriting and Typed Lambda Calculi lauten 9783319089188, 3319089188 und die Druck-ISBNs lauten 9783319089171, 331908917X. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

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 verfasst von Author und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Rewriting and Typed Lambda Calculi lauten 9783319089188, 3319089188 und die Druck-ISBNs lauten 9783319089171, 331908917X. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.