文献
J-GLOBAL ID:202002233389037337
整理番号:20A1203719
分散オートマトンのためのEmptiness問題【JST・京大機械翻訳】
Emptiness problems for distributed automata
著者 (3件):
Kuusisto Antti
(Mathematics and Statistics, University of Helsinki, Finland)
,
Kuusisto Antti
(Mathematics in the Unit of Computing Sciences, Tampere University, Finland)
,
Reiter Fabian
(LIGM, Universite Paris-Est Marne-la-Vallee, France)
資料名:
Information and Computation
(Information and Computation)
巻:
272
ページ:
Null
発行年:
2020年
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)