文献
J-GLOBAL ID:201102116230347474 整理番号:11A0435850
非決定論的キャッチ/スロー計算法の強正規化性
Strong normalizability of the non-deterministic catch/throw calculi
出版者サイト
複写サービスで全文入手
高度な検索・分析はJDreamⅢで
著者 (2件):
KAMEYAMA Y
KAMEYAMA Y について
名寄せID(JGPN) 201550000239252870 ですべてを検索
「KAMEYAMA Y」ですべてを検索
,
SATO M
SATO M について
名寄せID(JGPN) 201550000005983781 ですべてを検索
「SATO M」ですべてを検索
資料名:
THEORETICAL COMPUTER SCIENCE
THEORETICAL COMPUTER SCIENCE について
JST資料番号 O6370A ですべてを検索
ISSN,ISBN,CODENですべてを検索
巻:
272
号:
1-2
ページ:
223-245
発行年:
2002年
JST資料番号:
O6370A
ISSN:
0304-3975
資料種別:
逐次刊行物 (A)
発行国:
その他 (ZZZ)
言語:
英語 (EN)
タイトルに関連する用語 (2件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
計算
計算 について
「計算」ですべてを検索
この用語の用語情報を見る
,
正規化
正規化 について
「正規化」ですべてを検索
この用語の用語情報を見る
前のページに戻る
TOP
BOTTOM