文献

J-GLOBAL ID：201002268885484196   整理番号：10A1569027

LOGCFLのための一般化した限定作用素と有界算法理論

Generalized quantifier and a bounded arithmetic theory for LOGCFL

著者 (1件)： KURODA S
資料名： ARCHIVE FOR MATHEMATICAL LOGIC
巻： 46  号： 5-6  ページ： 489-516  発行年： 2007年 
JST資料番号： O0636A  ISSN： 1432-0665  資料種別： 逐次刊行物 (A)
発行国： その他 (ZZZ)  言語： 英語 (EN)

タイトルに関連する用語 (3件)： 有界 ,  算法 ,  理論