Term Rewriting and Applications
This volume contains the papers presented at the 18th International Conference on Rewriting Techniques and Applications (RTA ...
Weiterlesen
Term Rewriting and Applications (vol. # 3467)
This volume contains the proceedings of the 16th International Conference on Rewriting Techniques and Applications (RTA2005),whichwasheldonApril19– ...
Weiterlesen
Term Rewriting and Applications (vol. # 4098)
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
WeiterlesenThe Autofictional : Approaches, Affordances, Forms
This book offers innovative and wide-ranging responses to the continuously flourishing literary phenomenon of autofiction. ...
Weiterlesen
Theoretical Computer Science (vol. # 3701)
This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
Weiterlesen
Typed Lambda Calculi and Applications
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Weiterlesen
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Weiterlesen
Writing Manuals for the Masses The Rise of the Literary Advice Industry from Quill to Keyboard
This collection of essays examines the literary advice industry since its emergence in Anglo-American literary culture in ...
Weiterlesen
