JAIST Repository > b. 情報科学研究科・情報科学系 > b30. リサーチレポート > Research Report - School of Information Science ： ISSN 0918-7553 >
Linking the Information Sharing Process to the Business Process in
INC-OPT : A High Performance Concurrency Control for Parallel B-Tree
Some Topics on Relevant Modal Matrices
On the Proof of the Interpolation Theorem without using Constants
The predicate extension of the minimum orthologic
