This book constitutes the refereed proceedings of the 10th Asian Computing Science Conference, ASIAN 2005, held in Kunming, China in December 2005. The 17 revis

This volume contains 3 invited papers, 15 regular papers, and 22 poster papers that were selected for presentation at the Third International Conference on Disc

This book constitutes the strictly refereed post-workshop proceedings of the 11th International Workshop on Computer Science Logic, CSL '97, held as the 1997 An

Handbook of Automated Reasoning.

The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found