文献
J-GLOBAL ID:201402265254591128
整理番号:14A0641137
論理式サイズの下界に対する長方形限界障壁の突破
BREAKING THE RECTANGLE BOUND BARRIER AGAINST FORMULA SIZE LOWER BOUNDS
著者 (1件):
UENO Kenya
(Kyoto Univ., Kyoto, JPN)
資料名:
International Journal of Foundations of Computer Science
(International Journal of Foundations of Computer Science)
巻:
24
号:
8
ページ:
1339-1354
発行年:
2013年12月
JST資料番号:
W0409A
ISSN:
0129-0541
資料種別:
逐次刊行物 (A)
発行国:
シンガポール (SGP)
言語:
英語 (EN)