Mathematical foundations of computer science and their applications
(数理解析研究所講究録 ; 556)
データ種別 | 図書 |
---|---|
出版者 | [京都] : 京都大学数理解析研究所 |
出版年 | 1985.4 |
本文言語 | 日本語,英語 |
大きさ | iv,326p ; 26cm |
書誌詳細を非表示
データ種別 | 図書 |
---|---|
別書名 | 表紙タイトル:計算機科学の基礎理論とその応用 |
内容注記 | On the nested heap structure in Smoothsort / 野下浩平, 仲谷栄伸 垂直型3層チャネル配線アルゴリズムについて / 永松正博 Efficient implementations of parallel sort algorithms on a mesh-connected processor array / 五十嵐善英, 佐渡一広, 安達範明 A distributed algorithm for deadlock detection in replicated database systems / 緒方正暢, 杉原一夫, 菊野亨 データベースシステムの同時処理制御における直列可能性のいくつかのクラスについて / 木庭淳, 室章治郎, 長谷川利治 条件式グラフの変形による分散データベースの質問処理 / 吉川正俊, 上林弥彦 ネットワークデータベースにおける選択・射影・結合質問の処理 / 古川哲也, 上林弥彦 Redundant coding and local computability in parallel computation / 安浦寛人, 高木直史, 矢島脩三 論理回路機能の時間的関係の記述と検証 / 木村晋二, 矢島脩三 Some system for map generation / 中村昭, Aristid Lindenmayer, 會澤邦夫 Complexity of combinator reduction machine / 広川佐千男 形付項書き換えシステム / 外山芳人 項書き換えシステムの簡約化戦略について / 直井徹, 山下雅史, 茨木俊秀, 本多波雄 Structural analysis of automata network : structurally reduced network / 西尾英之助, 斉藤隆, 森田浩一 Similarity relation between automata networks / 斉藤隆, 西尾英之助 プログラミング言語PL/0の代数的仕様記述 / 北英彦, 坂部俊樹, 稲垣康善 相互通信逐次型プロセス系の検証 / 村上昌己, 稲垣康善 非決定性同時計算量について / 守屋悦朗, 岩田茂樹, 笠井琢美 Positive relativizations of low level complexity classes / 戸田誠之助 低いレベルの同時計算量について / 関口正裕 A remark on solving the set-partitioning problem by dual all integer algorithm / 岩村覚三 Complexity of path covering problems in acyclic alternate graphs / 植村憲治, 夜久竹夫 解の存在が保障されている組合せ探索問題について / 岩間一雄 グラフパッキング問題の計算複雑度 / 増山繁, 張澤増, 茨木俊秀, 三根久 多値論理関数の本質的極小閉集合 / 町田元, Ivo Rosenberg On the semantics of infinite computations in logic programs / 榊原康文 知識の表現のための「述語」を持たない述語(?)論理"tuple logic"の提案 / 森田憲一 時空間様相論理ETSLの完全・無矛盾な公理系 / 岩沼宏治, 原尾政輝, 野口正一 The complexity of subtitutive programs / 夜久竹夫, 足立暁生, 二木厚吉 |
一般注記 | 「計算機科学の基礎理論とその応用」研究集会報告集(1985年1月30日-2月1日) 研究代表者:笠井琢美 |
著者標目 | 京都大学数理解析研究所 <キョウト ダイガク スウリ カイセキ ケンキュウショ> |
分 類 | TCLC:548 |
書誌ID | 1000360864 |
NCID | BN09418224 |