すべて 2016 2015 2010 2008 2007 その他
すべて 雑誌論文 学会発表
Electronic Notes in Theoretical Computer Science, Elsevier.
巻: To appear
The Journal of Symbolic Logic 75(1)
ページ: 77-102
Journal of Symbolic Logic 75(1)
Proc. of 17th EACSL AnnualConference on Computer Science Logic, Lecture Notes in Computer Science(Springer Verlag) 5213
ページ: 262-277
Proceedings of 17th EACSL Annual Conference on Computer Science Logic, Lecture Notes in Computer Science 5213
Annals of Pure and Applied Logic(Elsevier) 145
ページ: 276-313
Annals of Pure and Applied Logic, Elsevier 145(3)
Journal of Symbolic Logic (印刷中)
ページ: 33-33