メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
岡山大学 ホーム
English
日本語
ホーム
プロファイル
研究部門
研究成果
活動
プレス/メディア
受賞
専門知識、名前、または所属機関で検索
EFFICIENT EXECUTION IN A CLASS OF TERM REWRITING SYSTEMS.
Yuji Sugiyama, Ichiro Suzuki, Kenichi Taniguchi, Tadao Kasami
大学院自然科学研究科
研究成果
›
査読
概要
フィンガープリント
フィンガープリント
「EFFICIENT EXECUTION IN A CLASS OF TERM REWRITING SYSTEMS.」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。
並べ替え順
重み付け
アルファベット順
Engineering & Materials Science
Specification languages
100%
Substitution reactions
43%