Japanese
Home
Search
Horizontal Search
Publication Search
( Advanced Search )
Patent Search
( Advanced Search )
Research Highlight Search
( Advanced Search )
Researcher Search
Search by Organization
Support
FAQ
T2R2 User Registration
Doctoral thesis registration
Support/Contact
About T2R2
What's T2R2?
Operation Guidance
Leaflets
About file disclosure
Related Links
Tokyo Tech
STAR Search
NII IR Program
Home
>
Help
Publication Information
Title
Japanese:
到達可能関係の無限連鎖に制約を持つ様相論理体系の証明方法に関する研究
English:
Author
Japanese:
萩原茂樹
.
English:
Shigeki Hagihara
.
Type
Type:
Thesis (Ph.D.)
Country:
Language
Organization name
Tokyo Institute of Technology
Report number
Conferred date
2000/--/--
Judge
©2007
Tokyo Institute of Technology All rights reserved.