Proceedings Of The 10th Asian Logic Conference

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every 3 years and rotates among countries in the Asia-Pacific region, with interests in the area of logic, including theoretical computer science. This title contains papers from the 10th meeting held in Kobe, Japan.