コレクションホームページ
0790 理論計算機科学とその周辺
38
0790 理論計算機科学とその周辺
38
(http://hdl.handle.net/2433/81894)
ブラウズ
文献一覧(目次の昇順ソート): 21 - 38 / 38
書誌情報 | ファイル |
---|---|
二分決定グラフによる論理関数処理の計算複雑さ(理論計算機科学とその周辺) 武永, 康彦; 矢島, 脩三 (1992-06) 数理解析研究所講究録, 790: 141-147 | |
色塗り分け問題がP完全又はNCになる為の十分条件について(理論計算機科学とその周辺) 岩本, 宙造; 岩間, 一雄 (1992-06) 数理解析研究所講究録, 790: 148-154 | |
Deciding whether Graph $G$ Has Page Number One is in NC MASUYAMA, Shigeru; NAITO, Shozo (1992-06) 数理解析研究所講究録, 790: 155-161 | |
平面オイラーグラフの辺素な路問題を解く並列アルゴリズム(理論計算機科学とその周辺) 中山, 慎一; 増山, 繁 (1992-06) 数理解析研究所講究録, 790: 162-168 | |
確率付グラフ上の点素なs-t Disjoint Pathsの期待最大本数の計算問題(理論計算機科学とその周辺) 程, 鵬; 増山, 繁 (1992-06) 数理解析研究所講究録, 790: 169-174 | |
歩行を実現するグラフ構成問題について(理論計算機科学とその周辺) Maruyama, Osamu (1992-06) 数理解析研究所講究録, 790: 175-193 | |
ネットワークの対称性と、$k$-LEADER(S)の計算能力(理論計算機科学とその周辺) 坂本, 直志 (1992-06) 数理解析研究所講究録, 790: 194-200 | |
A General Description of an Information Disseminating Scheme and Its Automorphism Unger, Walter; Igarashi, Yoshihide; Osawa, Shingo (1992-06) 数理解析研究所講究録, 790: 201-207 | |
Balanced Weakly Church-Rosser and Normalizing Strategy for Term Rewriting Systems : Detailed Abstract Toyama, Yoshihito (1992-06) 数理解析研究所講究録, 790: 208-214 | |
Service Specification and Protocol Specifications in LOTOS : Equivalence and Synthesis Higashino, Teruo; Yasumoto, Keiichi; Taniguchi, Kenichi (1992-06) 数理解析研究所講究録, 790: 215-221 | |
高次の動的Voronoi図とその応用(理論計算機科学とその周辺) 今井, 桂子; 今井, 浩 (1992-06) 数理解析研究所講究録, 790: 222-228 | |
包除原理による和集合のサイズの評価について(理論計算機科学とその周辺) 神保, 秀司; 丸岡, 章 (1992-06) 数理解析研究所講究録, 790: 229-235 | |
Semirigid sets of clones of quasi-linear functions over a finite domain Nozaki, Akihiro; Miyagawa, Masahiro; Pogosyan, Grant (1992-06) 数理解析研究所講究録, 790: 236-241 | |
Complexity of decision trees for Boolean operators : a shortened version Freivalds, Rusins; Miyagawa, Masahiro (1992-06) 数理解析研究所講究録, 790: 242-248 | |
The Feedback Operation in Functional Systems of Automata Lashkia, V. (1992-06) 数理解析研究所講究録, 790: 249-255 | |
Affine型合同反復模型の状態遷移図について(理論計算機科学とその周辺) 隈本, 覚; 乃美, 正哉 (1992-06) 数理解析研究所講究録, 790: 256-262 | |
非線形項書き換えシステムのE-非オーバーラップ性について(理論計算機科学とその周辺) 張, 磊; 大山口, 通夫; 伊藤, 英則 (1992-06) 数理解析研究所講究録, 790: 263-268 | |
Logspace Bounded Alternation and Logical Query Programs OKABE, Yasuo; TSUDA, Takao (1992-06) 数理解析研究所講究録, 790: 269-275 |
文献一覧(目次の昇順ソート): 21 - 38 / 38