×

Mathematical foundations of computer science and their applications. Proceedings of a symposium held at the Research Institute for Mathematical Sciences, Kyoto University, Kyoto, January 30 - February 1, 1985. (Japanese) Zbl 0638.68005

RIMS Kokyuroku, 556. Kyoto: Kyoto University, Research Institute for Mathematical Sciences. IV, 326 p. (1985).
The articles of this volume will not be indexed individually.
Contents: Kohei Noshita and Yoshinobu Nakatani, On the nested heap structure in smoothsort (English) (pp. 1-16); Masahiro Nagamatsu, On the algorithms of vertical three-layer channel routings (pp. 17-36); Yoshihide Igarashi, Kazuhiro Sado and Noriaki Adachi, Efficient implementations of parallel sort algorithms on a mesh-connected processor array (English) (pp. 37-48); Masanobu Ogata, Kazuo Sugihara and Tohru Kikuno, A distributed algorithm for deadlock detection in replicated database systems (English) (pp. 49-58); Jun Kiniwa, Shojiro Muro and Toshiharu Hasegawa, On several serializability classes in concurrent processing controls of database systems (pp. 59-70); Masatoshi Yoshikawa and Yahiko Kambayashi, Query processing for distributed databases by deformation of conditional graphs (pp. 71-80); Tetsuya Furukawa and Yahiko Kambayashi, Processes of selection-projection-association query in network databases (pp. 81-92); Hiroto Yasuura, Naofumi Takagi and Shuzo Yayima, Redundant coding and local computability in parallel computation (English) (pp. 93-103); Shinji Kimura and Shuzo Yajima, Descriptions and verifications of time relations in logic current facilities (pp. 104-115); Akira Nakamura, Aristid Lindenmayer and Kunio Aizawa, Some system for map generation (English) (pp. 116-121); Sachio Hirokawa, Complexity of combinator reduction machine (English) (pp. 122-146); Yoshihito Toyama, Term-rewriting systems (pp. 147-150); Tohru Naoi, Masafumi Yamashita, Toshihide Ibaraki and Namio Honda, On reduction strategies for term-rewriting systems (pp. 151-162); Hidenosuke Nishio, Takashi Saito and Kenichi Morita, Structural analysis of automata network - structurally reduced network (English) (pp. 163-170); Takashi Saito and Hidenosuke Nishio, Similarity relation between automata networks (English) (pp. 171-176); Hidehiko Kita, Toshiki Sakabe and Yasuyoshi Inagaki, Algebraic descriptions of the programming language PL/0 (pp. 177-186); Masami Murakami and Yasuyoshi Inagaki, The verification of communicating sequential process systems (pp. 187-196); Etsuro Moriya, Shigeki Iwata and Takumi Kasai, On nondeterminism of simultaneous calculable quantities (pp. 197-208); Seinosuke Toda, Positive relativizations of low level complexity classes (English) (pp. 209-218); Masahiro Sekiguchi, On low-level simultaneous calculation quantities (pp. 219-230); Kakuzo Iwamura, A remark on solving the set-partitioning problem by dual all integer algorithm (English) (pp. 231-239); Kenji Uemura and Takeo Yaku, Complexity of path covering problems in acyclic alternate graphs (English) (pp. 240-249); Kazuo Iwama, On the combinatorial reference problem guaranteeing the existence of solution (pp. 250-259); Sigeru Masuyama, Toshihide Ibaraki and Hisashi Mine, The computational complexity of graph packing problems (pp. 260-271); Hajime Machida and Ivo Rosenberg, Essential minimal closed sets of multivalued logic functions (pp. 272-281); Yasubumi Sakakibara, On the semantics of infinite computations in logic programs (English) (pp. 282-293); Kenichi Morita, The predicate logic without predicates for representations of knowledge. A proposition of “tuple logic” (pp. 294- 305); Koji Iwanuma, Masateru Harao and Syoichi Noguti, Complete noncontradictory axioms of time-space modal logic (pp. 306-318); Takeo Yaku, Akeo Adachi and Kokichi Futatsugi, The complexity of substitutive programs (English) (pp. 319-326).

MSC:

68-06 Proceedings, conferences, collections, etc. pertaining to computer science
00B25 Proceedings of conferences of miscellaneous specific interest
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations