文献
J-GLOBAL ID:202202233588044752
整理番号:22A0494879
Sacetti論理のための内挿特性【JST・京大機械翻訳】
Interpolation Properties for Sacchetti’s Logics
著者 (1件):
Iwata Sohei
(Graduate School of System Informatics, Kobe University, Nada-ku, Kobe, Japan)
資料名:
Springer Proceedings in Mathematics & Statistics
(Springer Proceedings in Mathematics & Statistics)
巻:
369
ページ:
47-76
発行年:
2022年
JST資料番号:
W5074A
ISSN:
2194-1009
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)