文献
J-GLOBAL ID:201802259521912518
整理番号:18A0344277
プッシュダウンレジスタオートマトンにおける到達可能性【Powered by NICT】
Reachability in pushdown register automata
著者 (3件):
Murawski A.S.
(Department of Computer Science, University of Warwick, Coventry CV4 7AL, UK)
,
Ramsay S.J.
(Department of Computer Science, University of Warwick, Coventry CV4 7AL, UK)
,
Tzevelekos N.
(School of Electronic Engineering and Computer Science, Queen Mary University of London, London E1 4NS, UK)
資料名:
Journal of Computer and System Sciences
(Journal of Computer and System Sciences)
巻:
87
ページ:
58-83
発行年:
2017年
JST資料番号:
B0861A
ISSN:
0022-0000
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)