Total Books: 21 - 24 /24
Term Rewriting and Applications (vol. # 4098)
PrefaceThis volume contains the proceedings ofthe 17th International Conference onRewriting Techniques and Applications, ...
Lee mas
Theoretical Computer Science (vol. # 3701)
This book constitutes the refereed proceedings of the 9th International Conference on Theoretical Computer Science, ICTCS ...
Lee mas
Typed Lambda Calculi and Applications
This book constitutes the refereed proceedings of the 8th International Conference on Typed Lambda Calculi and Applications, ...
Lee mas
Types for Proofs and Programs
The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on ...
Lee mas
