Invited Talks.- Program Termination Analysis by Size-Change Graphs (Abstract).- SET Cardholder Re...

This book constitutes the refereed proceedings of the Third International Joint Conference on Ele...

Modal logic is a subject with ancient roots in the western logical tradition. Up until the last f...