This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
اقرأ المزيدPrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
اقرأ المزيدThis book offers innovative and wide-ranging responses to the continuously flourishing literary phenomenon of autofiction. ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
اقرأ المزيدThis book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
اقرأ المزيدThe 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
اقرأ المزيدThis collection of essays examines the literary advice industry since its emergence in Anglo-American literary culture in ...
اقرأ المزيد