This volume collects written versions of invited and contributed talks presented at the conferenc...

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapo...

This volume presents the written versions of the tutorial lectures given at the Workshop on Compu...

This volume presents the lecture notes of short courses given by three leading experts in mathema...

This volume presents the lecture notes of short courses given by three leading experts in mathema...

This volume is a collection of written versions of the talks given at the Workshop on Computation...