Art
J-GLOBAL ID：201002268885484196 Reference number：10A1569027
Generalized quantifier and a bounded arithmetic theory for LOGCFL
LOGCFLのための一般化した限定作用素と有界算法理論
Publisher site
Copy service
Access JDreamⅢ for advanced search and analysis.
Author (1)：
KURODA S
About KURODA S
Search "201550000172296060"
Search "KURODA S"
Material：
ARCHIVE FOR MATHEMATICAL LOGIC
About ARCHIVE FOR MATHEMATICAL LOGIC
Search "O0636A"
Search ISSN,ISBN,CODEN
Volume：
46
Issue：
5-6
Page：
489-516
Publication year：
2007
JST Material Number：
O0636A
ISSN：
1432-0665
Document type：
Article
Country of issue：
Other (ZZZ)
Language：
ENGLISH (EN)
Terms in the title (3)：
Terms in the title
Keywords automatically extracted from the title.
有界
About 有界
Search "有界"
Detailed information
,
算法
About 算法
Search "算法"
Detailed information
,
理論
About 理論
Search "理論"
Detailed information
Return to Previous Page
TOP
BOTTOM
