JAIST Repository > School of Information Science > JAIST Research Reports > 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