文献
J-GLOBAL ID:202002283453507386
整理番号:20A0592121
[数式:原文を参照]は[数式:原文を参照]で決定可能である【JST・京大機械翻訳】
[Formula : see text] Is Decidable in [Formula : see text]
著者 (2件):
Bes Alexis
(Universite Paris Est Creteil, LACL, Creteil, France)
,
Choffrut Christian
(IRIF, CNRS and Universite Paris 7 Denis Diderot, Paris, France)
資料名:
Lecture Notes in Computer Science
(Lecture Notes in Computer Science)
巻:
12038
ページ:
128-140
発行年:
2020年
JST資料番号:
H0078D
ISSN:
0302-9743
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)