「項書き換え」に関連した文献の一覧

あるクラスの項書き換え系の効率のよい実行 ― NDL雑誌記事索引

杉山 裕二 他 電子通信学会 / 電子通信学会 編

項書き換え型計算モデルとその応用 (非手続き型プログラミングのための計算モデル<特集>) ― NDL雑誌記事索引

二木 厚吉 外山 芳人 オーム社 / 情報処理学会 編

項書き換え系を用いたハードウェア生成システムのプロトタイプ実装 (2004年並列/分散/協調処理に関する「青森」サマーワークショップ(SWoPP青森2004)) ― NDL雑誌記事索引

小林 徳幸 前田 敦司 山口 喜教 電子情報通信学会

項書き換え系に関する決定問題とその時間計算量 ― NDL雑誌記事索引

富樫 敦 野口 正一 電子通信学会 / 電子通信学会 編

項書き換え系に基づく関数型言語処理とグラフ変換 ― NDL雑誌記事索引

杉藤 芳雄 電子情報通信学会

項書き換え系に基づく制約プログラミング言語システムの実現方式について ― NDL雑誌記事索引

永井 保夫 東京情報大学教育研究情報センター / 東京情報大学学術雑誌編纂委員会 編

項書き換えシステムにおける可簡約演算子とその応用 ― NDL雑誌記事索引

中村 正樹 緒方 和博 二木 厚吉 情報処理学会

項書き換えシステムに関する有限停止性問題 ― NDL雑誌記事索引

富樫 敦 野口 正一 電子通信学会 / 電子通信学会 編

項書き換えシステムの可換性について ― NDL雑誌記事索引

外山 芳人 電子通信学会 / 電子通信学会 編

項書き換えシステムの合流性自動判定 =Automating confluence check of term rewriting systems (特集 プログラミングおよびプログラミング言語) ― NDL雑誌記事索引

吉田 順一 青戸 等人 外山 芳人 岩波書店 / 日本ソフトウェア科学会 編

項書き換えシステムの単純停止性のモジュラ性〔英文〕 (〔情報処理学会〕創立30周年記念論文特集) -- (佳作〔論文〕) ― NDL雑誌記事索引

栗原 正仁 大内 東 オーム社 / 情報処理学会 編

項書き換えによる関数型プログラミング (関数型プログラミングとその応用<特集>) -- (関数型言語と計算モデル) ― NDL雑誌記事索引

稲垣 康善 直井 徹 オーム社 / 情報処理学会 編

必須呼びが正規化戦略となるあいまいな線形項書き換えシステムのクラス ― NDL雑誌記事索引

直井 徹 電子通信学会 / 電子通信学会 編

モジュラーな代数仕様言語のための項書き換えシステム (特集 システム検証の科学技術) ― NDL雑誌記事索引

中村 正樹 二木 厚吉 岩波書店 / 日本ソフトウェア科学会 編

Static dependency pair method for simply-typed term rewriting and related techniques =単純型付き項書き換え系における静的依存対法とその周辺 (ソフトウェアサイエンス) ― NDL雑誌記事索引

草刈 圭一朗 酒井 正彦 電子情報通信学会

関連キーワードの意味を調べる

電子情報通信学会、 ソフトウェア、 情報処理学会、 東京情報大学、 電子通信学会、 オーム社、 センター、 学術雑誌、 岩波書店、 教育研究、 委員会