Research Reports on Mathematical and Computing Sciences. Ser. C, Computer Science

• 資料種別: 雑誌
• タイトル: Research Reports on Mathematical and Computing Sciences
• 巻次・部編番号: Ser. C; (286):2019.4
• 部編名: Computer Science
• 出版事項: Tokyo : Dept. of Mathematical and Computing Sciences, Tokyo Institute of Technology
• 出版年月日等: 2019
• 出版年（W3CDTF）: 2019
• 大きさ: 30 cm
• ISSN（掲載誌）: 1342-2812
• ISSN-L（掲載誌）: 1342-2812
• 出版地（国名コード）: JP
• 本文の言語コード: eng
• NDLC: ZM13
• 一般注記: Description based on the latest issue
• 所蔵機関: 国立国会図書館
• 請求記号: Z63-A414
• 改題前: 継続前; https://ndlsearch.ndl.go.jp/books/R100000002-I000000143019
• 連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• 書誌ID（NDLBibID）: 000000156893; http://id.ndl.go.jp/bib/000000156893
• 目録規則: 国立国会図書館逐次刊行物目録規則

目次

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