規則右辺に照合外変数を含む条件付き項書換え系における階層合流性のモジュラ性

服部, 哲; 岡野, 浩三; 東野, 輝夫 他

電子情報通信学会技術研究報告. COMP, コンピュテーション, 1997, 97(125), 33-40

アクセス数:5622025-07-06 10:30 集計

固定URL: https://hdl.handle.net/11094/27432

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
itr097_125_033 pdf なし 686 KB 73 2014.04.11  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
著者
キーワード等
抄録
出版者
収録物名
巻(号)
ページ
刊行年月
言語
ハンドルURL
NCID
アクセス権
権利情報
出版タイプ
カテゴリ