査読有り 2017年 Noetherian Quasi-Polish Spaces Proceedings of the 26th Annual Conference on Computer Science Logic M. de Brecht, A. Pauly 巻 82 号 開始ページ 1 終了ページ 17 記述言語 英語 掲載種別 研究論文(国際会議プロシーディングス) エクスポート BibTeX RIS