図書

抽象高階書換え系によるプロセス計算系の定式化に関する研究

図書を表すアイコン

抽象高階書換え系によるプロセス計算系の定式化に関する研究

国立国会図書館請求記号
Y151-H13680388
国立国会図書館書誌ID
000007091572
資料種別
図書
著者
鈴木, 大郎, 会津大学
出版者
-
出版年
2001-2002
資料形態
ページ数・大きさ等
-
NDC
-
すべて見る

資料に関する注記

一般注記:

文部省科学研究費補助金研究成果報告書

書店で探す

書誌情報

この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。

資料種別
図書
タイトルよみ
チュウショウ コウカイ カキカエ ケイ ニ ヨル プロセス ケイサンケイ ノ ジョウシキカ ニ カンスル ケンキュウ
著者・編者
鈴木, 大郎, 会津大学
著者標目
鈴木, 大郎 スズキ, タロウ
出版年月日等
2001-2002
出版年(W3CDTF)
2001
数量
その他のタイトル
研究種目 基盤研究(C)
件名標目
プロセス計算系 プロセスケイサンケイ
抽象高階項書換え系 チユウシヨウコウカイコウカキカエケイ
π-計算系 パイ-ケイサンケイ
プロセス書換え系 プロセスカキカエケイ
関数論理型言語 カンスウロンリガタゲンゴ
高階ナロ-イング コウカイナロ-イング