関係計算の自動検証の理論(サイバー増大ページ論文概要,サイバー増大号)
スポンサーリンク
概要
- 論文の詳細を見る
- 日本ソフトウェア科学会の論文
- 2005-07-26
著者
関連論文
- A_006 正規表現関数を用いた文字列照合アルゴリズムの高速化に関する研究(A分野:モデル・アルゴリズム・プログラミング)
- 3近傍可逆セルオートマトンについて (計算機科学基礎理論とその応用)
- 関係デ-タベ-スにおける従属性検証システムの実装 (代数・論理・幾何と情報科学)
- 関係文字列を用いた協調実行言語の意味論
- 関係計算の自動検証の理論(サイバー増大ページ論文概要,サイバー増大号)