Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings (Q1374458)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 1094958
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings |
scientific article; zbMATH DE number 1094958 |
Statements
Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings (English)
0 references
7 December 1997
0 references
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]
0 references
Kathmandu (Nepal)
0 references
Proceedings
0 references
Conference
0 references
ASIAN '97
0 references
Computing science
0 references
0.8635099
0 references
0.85299003
0 references
0.83052856
0 references
0.80253524
0 references
0.78550017
0 references
0.7796627
0 references
0.7720543
0 references
