2021年7月
In Search of the First-Order Part of Ramsey’s Theorem for Pairs
Lecture Notes in Computer Science
- ,
- 巻
- 12813
- 号
- 開始ページ
- 297
- 終了ページ
- 307
- 記述言語
- 掲載種別
- 論文集(書籍)内論文
- DOI
- 10.1007/978-3-030-80049-9_27
- 出版者・発行元
- Springer International Publishing
- リンク情報
- ID情報
-
- DOI : 10.1007/978-3-030-80049-9_27
- ISSN : 0302-9743
- eISSN : 1611-3349
- ISBN : 9783030800482
- ISBN : 9783030800499