書誌情報	ファイル
Enimeration of Regular Triangulations   Imai, Keiko; Imai, Hiroshi (1996-05)   数理解析研究所講究録, 950: 126-132
Tutte多項式とJones多項式の計算(計算モデルと計算の複雑さに関する研究)   関根, 京子; 今井, 浩 (1996-05)   数理解析研究所講究録, 950: 133-139
Type Consistency Problems for Queries in Object-Oriented Databases   ISHIHARA, Yasunori; SEKI, Hiroyuki; ITO, Minoru (1996-05)   数理解析研究所講究録, 950: 140-145
2層プラナー(計画器)の提案:自然言語理解のために(計算モデルと計算の複雑さに関する研究)   高橋, 英之 (1996-05)   数理解析研究所講究録, 950: 146-152
NVNF-sequentiality of Left-linear Term Rewriting Systems   Nagaya, Takashi; Sakai, Masahiko; Toyama, Yoshihito (1996-05)   数理解析研究所講究録, 950: 153-159
Modular Confluence of Conditional Term Rewriting Systems with Extra Variables in Right-Hand Sides   Hattori, Satoshi; Okano, Kozo; Higashino, Teruo; Taniguchi, Kenichi (1996-05)   数理解析研究所講究録, 950: 160-166
On the Church-Rosser Property of Non-E-overlapping and Weight-Preserving TRS's   Gomi, Hiroshi; Oyamaguchi, Michio; Ohta, Yoshikatsu (1996-05)   数理解析研究所講究録, 950: 167-173
推論加群系と自動証明への応用(計算モデルと計算の複雑さに関する研究)   山崎, 勇 (1996-05)   数理解析研究所講究録, 950: 174-180
Tractability of Cut-free Gentzen Type Propositional Calculus with Permutation Inference   Arai, Noriko H. (1996-05)   数理解析研究所講究録, 950: 181-188
知識論理・様相論理の標準形展開基底による特性化(計算モデルと計算の複雑さに関する研究)   大芝, 猛; 小橋, 一秀 (1996-05)   数理解析研究所講究録, 950: 189-192
等号を含む第一階時相論理のサブクラスとその恒真性判定問題(計算モデルと計算の複雑さに関する研究)   浜口, 清治; 矢島, 脩三 (1996-05)   数理解析研究所講究録, 950: 193-199
時間値による状態爆発を回避した時間的双模倣等価性検証法(計算モデルと計算の複雑さに関する研究)   中田, 明夫; 東野, 輝夫; 谷口, 健一 (1996-05)   数理解析研究所講究録, 950: 200-206
A Translation Procedure for Elementary Formal Systems   Sugimoto, Noriko; Ishizaka, Hiroki (1996-05)   数理解析研究所講究録, 950: 207-213
多段階木変換機について(計算モデルと計算の複雑さに関する研究)   藤芳, 明生; 黒川, 浩一; 笠井, 琢美 (1996-05)   数理解析研究所講究録, 950: 214-220
unrestricted LR 文法及び unrestricted LR 構文解析法の提案(計算モデルと計算の複雑さに関する研究)   椎名, 広光; 増山, 繁 (1996-05)   数理解析研究所講究録, 950: 221-227
2次元可逆セル・オートマトンにおける一斉射撃問題(計算モデルと計算の複雑さに関する研究)   安達, 太一; 古阪, 真一; 今井, 克暢; 森田, 憲一 (1996-05)   数理解析研究所講究録, 950: 228-232
有限曖昧経営オートマトンの等価性判定問題の可解性(計算モデルと計算の複雑さに関する研究)   橋口, 功三郎; 石黒, 賢一 (1996-05)   数理解析研究所講究録, 950: 233-239
近似解をも考慮に入れた多項式時間変換(計算モデルと計算の複雑さに関する研究)   宮崎, 修一; 岩間, 一雄 (1996-05)   数理解析研究所講究録, 950: 240-245
正則パターン言語和の包含に関する強コンパクト性(計算モデルと計算の複雑さに関する研究)   有村, 博紀; 篠原, 武 (1996-05)   数理解析研究所講究録, 950: 246-249
Learnability of Subsequence Languages   MATSUMOTO, Satoshi; SHINOHARA, Ayumi (1996-05)   数理解析研究所講究録, 950: 250-256