Proceedings of the 11th Asian Logic Conference : In Honor of Professor Chong Chitat on His 60th Birthday

Arai, toshiyasu (EDT); Feng, Qi (EDT); Kim, Byunghan (EDT); Wu, Guohua (EDT); Yang, Yue (EDT)

ISBN 10: 9814360538 / ISBN 13: 9789814360531

Editore: World Scientific Publishing Company, 2011

Codice articolo 14037815-n

Riassunto:

The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference is held in the National University of Singapore, in honour of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting.

Dati bibliografici

Titolo: Proceedings of the 11th Asian Logic ...
Casa editrice: World Scientific Publishing Company
Data di pubblicazione: 2011
Legatura: Rilegato
Condizione: New