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