Proceedings Of The 10th Asian Logic Conference

ISBN: 9789814293013 出版年：2009 页码：405 Chitat Chong Rodney G Downey World Scientific Publishing Company

The 10th Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. This meeting is held every three years and rotates among countries in the Asia-Pacific region, with interests in the broad area of logic, including theoretical computer science. It is now considered a major conference in this field and is regularly sponsored by the Association of Symbolic Logic.This volume contains papers from the 10th meeting held in Kobe, Japan.