This is a collection of 24 revised full papers selected from a total of 94 submissions, presented at the Third Asian Computing Science Conference, held in Nepal in 1997. Also included are an abstract of the keynote by Michael O. Rabin, two full invited presentations and ten posters. Among the areas addressed are programming languages, formal methods, mathematical logic, reasoning and constraints, real-time computing, networking, mobile computing, image processing, hardware verification and parallel processing.
This is a collection of 24 revised full papers selected from a total of 94 submissions, presented at the Third Asian Computing Science Conference, hel...