International Conference on Rewriting Techniques and Applications ( Viena, Austria), International Conference on Typed Lambda-Calculi and Applications, Vienna Summer of Logic, & Dowek, G. Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings. Springer.
Copia nella clipboard completata con successo
Copia nella clipboard fallita
Citazione stile Chigago Style (17a edizione)
International Conference on Rewriting Techniques and Applications ( Viena, Austria), International Conference on Typed Lambda-Calculi and Applications, Vienna Summer of Logic, e Gilles Dowek. Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings. Cham, Suiza: Springer.
Copia nella clipboard completata con successo
Copia nella clipboard fallita
Citatione MLA (9a ed.)
International Conference on Rewriting Techniques and Applications ( Viena, Austria), et al. Rewriting and Typed Lambda Calculi: Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014 : Proceedings. Springer.
Copia nella clipboard completata con successo
Copia nella clipboard fallita
Attenzione: Queste citazioni potrebbero non essere precise al 100%.