T. Arai, J. Brendle, H. Kikyo, C. T. Chong, R. Downey, Q. Feng, H. Ono, "Proceedings of the 10th Asian Logic Conference"
English | 2011 | ISBN: 9814293016 | 336 pages | PDF | 58,2 MB
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.