検索
検索条件の追加:
検索条件を追加することで検索結果を絞り込むことができます。
検索結果表示: 1-10 / 10.
- 前
- 1
- 次
検索結果:
| 書誌情報 | ファイル |
|---|---|
| 時間制約付LOTOSの等価性の証明(計算量理論) 中田, 明夫; 東野, 輝夫; 谷口, 健一 (1994-05) 数理解析研究所講究録, 871: 219-225 |  |
| 部分項の評価順が指定できる項書換え系とその性質について(計算機構とアルゴリズム) 服部, 哲; 岡野, 浩三; 東野, 輝夫; 谷口, 健一 (1993-04) 数理解析研究所講究録, 833: 69-79 | |
| 時間値による状態爆発を回避した時間的双模倣等価性検証法(計算モデルと計算の複雑さに関する研究) 中田, 明夫; 東野, 輝夫; 谷口, 健一 (1996-05) 数理解析研究所講究録, 950: 200-206 | |
| 線形制約式を用いた時間QoS一貫性の検証法 (計算機科学基礎理論の新展開) 岡野, 浩三; 森, 一夫; 谷口, 健一 (2004-05) 数理解析研究所講究録, 1375: 151-157 | |
| セーフペトリネットによる正規集合の記述の簡潔さについて : 有限オートマトンとの比較 (計算機科学の数学的基礎) 松浦, 敏雄; 杉山, 裕二; 谷口, 健一; 嵩, 忠雄 (1978-03) 数理解析研究所講究録, 322: 56-74 | |
| 整数線形計画問題の解非存在性判定を利用した通信プロトコルの自動検証について(計算アルゴリズムと計算量の基礎理論) 東野, 輝夫; 谷口, 健一 (1989-06) 数理解析研究所講究録, 695: 243-252 | |
| 代数的手法を用いたハードウェアの仕様記述とその詳細化について(計算アルゴリズムと計算量の基礎理論) 杉山, 裕二; 横山, 昌生; 北道, 淳司; 谷口, 健一 (1988-07) 数理解析研究所講究録, 666: 158-167 | |
| 代数的仕様記述における詳細化 : 特に抽象的順序機械の場合 (数理情報科学の基礎理論と応用) 鈴木, 一郎; 杉山, 裕二; 谷口, 健一; 嵩, 忠雄 (1981-03) 数理解析研究所講究録, 421: 92-105 | |
| 多値従属を考慮した関係表現における制約の導出 (数理情報科学の基礎理論と応用) 伊藤, 実; 岩崎, 元昭; 谷口, 健一; 嵩, 忠雄 (1981-03) 数理解析研究所講究録, 421: 106-120 | |
| 優先度付きトークンリング方式LANの「進行性」の検証について(計算アルゴリズムの基礎理論) 住谷, 忠雄; 東野, 輝夫; 谷口, 健一 (1987-05) 数理解析研究所講究録, 625: 38-47 | |