検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
Generalized Parenthesis Languages and Minimalization of Their Parenthesis Parts (形式言語理論とオートマトン理論) YAMASAKI, HIDEKI; TAKAHASHI, MASAKO (1982-05) 数理解析研究所講究録, 458: 309-317 | |
シャフルされた記号列の復元問題 (形式言語理論とオートマトン理論) 岩間, 一雄 (1982-05) 数理解析研究所講究録, 458: 276-285 | |
Denotational Semanticsを使った万能Interpreter (形式言語理論とオートマトン理論) 江崎, 武史 (1982-05) 数理解析研究所講究録, 458: 256-265 | |
関係データベースシステムにおける従属性を利用したデータの表現について (形式言語理論とオートマトン理論) 上林, 弥彦; 田中, 克己; 武田, 浩一; 矢島, 脩三 (1982-05) 数理解析研究所講究録, 458: 172-181 | |
分散データベースシステムにおける一般化準結合を用いた質問処理 (形式言語理論とオートマトン理論) 吉川, 正俊; 上林, 弥彦; 矢島, 脩三 (1982-05) 数理解析研究所講究録, 458: 182-191 | |
多ソート部分的代数に対する等式推論規則 (形式言語理論とオートマトン理論) 坂部, 俊樹; 稲垣, 康善; 本多, 波雄 (1982-05) 数理解析研究所講究録, 458: 247-255 | |
関係データベースにおけるRepresentative Instanceに関する一結果 (形式言語理論とオートマトン理論) 岩崎, 元昭; 伊藤, 実; 嵩, 忠雄 (1982-05) 数理解析研究所講究録, 458: 152-161 | |
循環型シフト回路の埋め込み面積について (形式言語理論とオートマトン理論) 瀬谷, 和夫; 丸岡, 章; 木村, 正行 (1982-05) 数理解析研究所講究録, 458: 122-131 | |
付随式を用いる1階述語論理の証明図作成方法 (形式言語理論とオートマトン理論) 大芝, 猛; 永田, 周郎; 舟橋, 栄 (1982-05) 数理解析研究所講究録, 458: 30-39 | |
ハードウェアアルゴリズムの記述法について (形式言語理論とオートマトン理論) 大井, 康; 安浦, 寛人; 矢島, 脩三 (1982-05) 数理解析研究所講究録, 458: 142-151 |
絞り込み
発行日
- 34 1982
資料種別