Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings (Q1374458)

The articles of mathematical interest will be reviewed individually. The preceding conference (2nd, 1996) has been announced (see Zbl 0855.00037). Indexed articles: \textit{Merz, Stephan}, Rules for abstraction, 32-45 [Zbl 0899.03013] \textit{Ramanujam, R.}, Rules for trace consistent reasoning, 57-71 [Zbl 0918.03016] \textit{Harao, Masateru}, Proof discovery in LK system by analogy, 197-211 [Zbl 0899.03012] \textit{Boudol, Gérard}, Typing the use of resources in a concurrent calculus, 240-253 [Zbl 0891.03009] \textit{Hasegawa, Ryu}, An analysis of divisibility orderings and recursive path orderings, 283-296 [Zbl 0890.18002] \textit{Fujita, Ken-etsu}, Calculus of classical proofs. I, 321-335 [Zbl 0890.03028]