SPECIAL ISSUE ON ADVANCES IN COMPUTING SCIENCE — ASIAN '98
Jieh Hsiang, Atsushi Ohori · International Journal of Foundations of Computer Science · 2000
This special issue contains a selected subset of high-quality papers from the fourth Asian Computing Science Conference held in Manila, the Philippines, December 1998. Preliminary versions of these papers appeared in the proceedings of the conference, under the title Advances in Computing Science ASIAN '98, published by Springer-Verlag as number 1538 in the Lecture Notes in Computer Science series. The ASIAN conference series aims at providing a forum in Asia for the exchange of most recent research ideas and results in computer science and information technology. While each year features several themes of emphasis, the ASIAN '98 conference focused on the research areas of (1) formal reasoning and verification, (2) programming languages, (3) data and knowledge representation, and (4) networking and web computing. The papers in this issue were invited on the basis of their quality. The papers have been subject to the normal refereeing process and have been substantially revised and extended. We thank the authors and the referees for their effort and cooperation in timely creation of this special issue, and we thank Oscar Ibarra for encouraging us to guest-edit this special issue.