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

Publication Information

Title

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

Author

Japanese:	高木研斗, 鹿島亮.
English:	Kento Takagi, Ryo Kashima.

Language

English

Journal/Book name

Japanese:
English:	Research Reports on Mathematical and Computing Sciences

Number of Technical Report

C-286

Volume, Number, Page

Published year/month

2019/4

Publisher

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

File