Labelled deduction is an approach to providing frameworks forpresenting and using different logic...

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classica...

I am very happy to have this opportunity to introduce Luca Vigano's book on Labelled Non-Classica...

This book constitutes the proceedings of the 5th International Conference on Principles of Securi...

This book constitutes the refereed proceedings of the 7th International Conference on Test and Pr...

Labelled deduction is an approach to providing frameworks forpresenting and using different logic...

This book constitutes the thoroughly refereed post-conferenceproceedings of the Joint Workshop on...

This book constitutes the refereed post-conference proceedings of the 10th International Workshop...

This book constitutes revised selected papers from the refereed conference proceedings of the 11t...