All 2016 2015 2010 2008 2007 Other
All Journal Article Presentation
Electronic Notes in Theoretical Computer Science, Elsevier.
Volume: To appear
The Journal of Symbolic Logic 75(1)
Pages: 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
Pages: 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
Pages: 276-313
Annals of Pure and Applied Logic, Elsevier 145(3)
Journal of Symbolic Logic (印刷中)
Pages: 33-33