文献
J-GLOBAL ID:201302244594456867 整理番号:13A0114135
Safe Nested RecursionによるEXPTIME関数の新規関数環
A New Function Algebra of EXPTIME Functions by Safe Nested Recursion
出版者サイト
複写サービスで全文入手
高度な検索・分析はJDreamⅢで
著者 (2件):
ARAI T
ARAI T について
名寄せID(JGPN) 201550000293226442 ですべてを検索
「ARAI T」ですべてを検索
,
EGUCHI N
EGUCHI N について
名寄せID(JGPN) 201550000052999556 ですべてを検索
「EGUCHI N」ですべてを検索
資料名:
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC について
JST資料番号 O6823A ですべてを検索
ISSN,ISBN,CODENですべてを検索
巻:
10
号:
4
ページ:
-
発行年:
2009年
JST資料番号:
O6823A
ISSN:
1529-3785
資料種別:
逐次刊行物 (A)
発行国:
その他 (ZZZ)
言語:
英語 (EN)
タイトルに関連する用語 (2件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
関数
関数 について
「関数」ですべてを検索
この用語の用語情報を見る
,
環
環 について
「環」ですべてを検索
この用語の用語情報を見る
前のページに戻る
TOP
BOTTOM