JAIST Repository > b. 情報科学研究科・情報科学系 > b30. リサーチレポート > Research Report - School of Information Science ： ISSN 0918-7553 >
Competitive Envy-Free Division
There exists a continuum of normal modal logics over KTB
A constructive completion of the space D(R)
A constructive look at Weierstrass' theorem
Some properties of orthologics
