文献
J-GLOBAL ID:201702228898930778
整理番号:17A1497786
一定高のプッシュダウンを用いた非決定論的オートマトン上でのブール言語操作【Powered by NICT】
Boolean language operations on nondeterministic automata with a pushdown of constant height
著者 (4件):
Bednarova Zuzana
(Department of Computer Science, P. J. Safarik University, Jesenna 5, 04154 Kosice, Slovakia)
,
Geffert Viliam
(Department of Computer Science, P. J. Safarik University, Jesenna 5, 04154 Kosice, Slovakia)
,
Mereghetti Carlo
(Dipartimento di Informatica, Universita degli Studi di Milano, via Comelico 39, 20135 Milano, Italy)
,
Palano Beatrice
(Dipartimento di Informatica, Universita degli Studi di Milano, via Comelico 39, 20135 Milano, Italy)
資料名:
Journal of Computer and System Sciences
(Journal of Computer and System Sciences)
巻:
90
ページ:
99-114
発行年:
2017年
JST資料番号:
B0861A
ISSN:
0022-0000
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)