文献
J-GLOBAL ID:202202287821094181
整理番号:22A0326974
実重み付きオートマトンのためのバイシミュレーションメトリックスとノルム【JST・京大機械翻訳】
Bisimulation metrics and norms for real-weighted automata
著者 (3件):
Balle Borja
,
Gourdeau Pascale
(University of Oxford, United Kingdom of Great Britain and Northern Ireland)
,
Panangaden Prakash
(McGill University, Canada)
資料名:
Information and Computation
(Information and Computation)
巻:
282
ページ:
Null
発行年:
2022年
JST資料番号:
D0449A
ISSN:
0890-5401
CODEN:
INFCEC
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
オランダ (NLD)
言語:
英語 (EN)