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

DOI10.1007/3-540-63875-XMaRDI QIDQ1374458zbMATH OpenFDO

Authors

Publication date 7 December 1997

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-63875-X

zbMATH Keywords

ASIAN '97Computing scienceConferenceKathmandu (Nepal)Proceedings

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

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]

Recommendations

• Advances in computing science - ASIAN '99. 5th Asian computing science conference, Phuket, Thailand, December 8--10, 1998. Proceedings
• Advances in computing science -- ASIAN '98. 4th Asian computing science conference, Manila, the Philippines, December 8--10, 1998. Proceedings
• Special issue on advances in computing science -- ASIAN '98
• Advances in computing science - ASIAN 2000. 6th Asian computing science conference, Penang, Malaysia, November 25--27, 2000. Proceedings
• Advances in computing science -- ASIAN 2003. Programming languages and distributed computation. 8th Asian computing science conference, Mumbai, India, December 10--12, 2003. Proceedings
• scientific article; zbMATH DE number 1406989
• Computer mathematics. Proceedings of the 4th Asian symposium (ASCM 2000), Chiang Mai, Thailand, December 17--21, 2000
• Advances in computing science -- ASIAN 2002. Internet computing and modeling, grid computing, peer-to-peer computing, and cluster computing. 7th Asian computing science conference, Hanoi, Vietnam, December 4--6, 2002. Proceedings
• scientific article; zbMATH DE number 755433
• Computer Mathematics

Cited in

(2)

• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• On testing UML statecharts

This page was built for publication: Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1374458)