The 7th and the 8th Asian Logic Conferences belong to the series of logic conferences inaugurated in Singapore in 1981. This meeting is held once every three ye

The Asian Logic Conference is the most significant logic meeting outside of North America and Europe, and this volume represents work presented at, and arising

The Asian Logic Conference is one of the largest meetings, and this volume represents work presented at, and arising from the 12th meeting. It collects a number

This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmi

This volume is devoted to the main areas of mathematical logic and applications to computer science. There are articles on weakly o-minimal theories, algorithmi