関係文字列を用いた協調実行言語の意味論
スポンサーリンク
概要
著者
関連論文
- A_006 正規表現関数を用いた文字列照合アルゴリズムの高速化に関する研究(A分野:モデル・アルゴリズム・プログラミング)
- 3近傍可逆セルオートマトンについて (計算機科学基礎理論とその応用)
- On Product Formula of Tree Expressions
- 周期1と2のリミットサイクルをもつセルオートマトンについて(アルゴリズムと計算量理論)
- 関係デ-タベ-スにおける従属性検証システムの実装 (代数・論理・幾何と情報科学)
- 関係文字列を用いた協調実行言語の意味論
- Schroder 圏における整基関係と関係システム
- 関係計算の自動検証の理論(サイバー増大ページ論文概要,サイバー増大号)
- システム情報科学府新カリキュラム (学部教育の改善)
- Demonic orders and quasi-totality in Dedekind categories (Algebra, Logic and Geometry in Informatics)