On the Completeness and the Decidability of Strictly Monadic Second-Order Logic

論文・著書情報

タイトル

和文:
英文:	On the Completeness and the Decidability of Strictly Monadic Second-Order Logic

著者

和文:	高木研斗, 鹿島亮.
英文:	Kento Takagi, Ryo Kashima.

言語

English

掲載誌/書名

和文:
英文:	Research Reports on Mathematical and Computing Sciences

テクニカルレポート番号

C-286

巻, 号, ページ

出版年月

2019年4月

出版者

和文:	東京工業大学情報理工学院数理・計算科学系
英文:	Department of Mathematical and Computing Sciences Tokyo Institute of Technology

ファイル