検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果:
書誌情報 | ファイル |
---|---|
等号を含む第一階時相論理のサブクラスとその恒真性判定問題(計算モデルと計算の複雑さに関する研究) 浜口, 清治; 矢島, 脩三 (1996-05) 数理解析研究所講究録, 950: 193-199 | |
知識論理・様相論理の標準形展開基底による特性化(計算モデルと計算の複雑さに関する研究) 大芝, 猛; 小橋, 一秀 (1996-05) 数理解析研究所講究録, 950: 189-192 | |
推論加群系と自動証明への応用(計算モデルと計算の複雑さに関する研究) 山崎, 勇 (1996-05) 数理解析研究所講究録, 950: 174-180 | |
Tractability of Cut-free Gentzen Type Propositional Calculus with Permutation Inference Arai, Noriko H. (1996-05) 数理解析研究所講究録, 950: 181-188 | |
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 | |
NVNF-sequentiality of Left-linear Term Rewriting Systems Nagaya, Takashi; Sakai, Masahiko; Toyama, Yoshihito (1996-05) 数理解析研究所講究録, 950: 153-159 | |
2層プラナー(計画器)の提案:自然言語理解のために(計算モデルと計算の複雑さに関する研究) 高橋, 英之 (1996-05) 数理解析研究所講究録, 950: 146-152 | |
The Distributed Anonymous Resource Conflict Resolution Problem 朱, 潔平; 角川, 裕次; 藤田, 聡; 山下, 雅史 (1996-05) 数理解析研究所講究録, 950: 94-100 | |
Approximation algorithms for scheduling problems with generalized due dates Tanaka, Keisuke; Vlach, Milan (1996-05) 数理解析研究所講究録, 950: 87-93 |
絞り込み
発行日
- 40 1996
資料種別