文献
J-GLOBAL ID:200902238022364900
整理番号:03A0328464
ラスベガス,自己検証非決定性,及び決定性の時間制限1方向マルチカウンタオートマトン
Las Vegas, Self-Verifying Nondeterministic and Deterministic One-Way Multi-Counter Automata with Bounded Time
著者 (2件):
YOSHINAGA T
(Tokuyama Coll. Technol., Tokuyama-shi, JPN)
,
INOUE K
(Yamaguchi Univ., Ube-shi, JPN)
資料名:
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers)
(IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences (Institute of Electronics, Information and Communication Engineers))
巻:
E86-A
号:
5
ページ:
1207-1212
発行年:
2003年05月01日
JST資料番号:
F0699C
ISSN:
0916-8508
資料種別:
逐次刊行物 (A)
記事区分:
短報
発行国:
日本 (JPN)
言語:
英語 (EN)