Conferences in DBLP

RIMS Symposia on Software Science and Engineering (rims)
1984 (conf/rims/1984)

1. Etsuya Shibayama
   A Fast Parallel Merging Algorithm for 2-3 trees. [Citation Graph (0, 0)][DBLP]
   RIMS Symposia on Software Science and Engineering, 1984, pp:1-16 [Conf]
   
2. Masayuki Numao, Masamichi Shimura
   Evaluation of Graph Representations with Active Nodes. [Citation Graph (0, 0)][DBLP]
   RIMS Symposia on Software Science and Engineering, 1984, pp:17-43 [Conf]
   
3. Yoshihito Toyama
   On Equivalence Transformations for Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
   RIMS Symposia on Software Science and Engineering, 1984, pp:44-61 [Conf]
   
4. Kentaro Shimizu
   A Portable Logic Simulation System for Development of FLATS Machine. [Citation Graph (0, 0)][DBLP]
   RIMS Symposia on Software Science and Engineering, 1984, pp:62-86 [Conf]
   
5. Satoshi Ono, Naohisa Takahashi, Makoto Amamiya
   Partial Computation with a Dataflow Machine. [Citation Graph (0, 0)][DBLP]
   RIMS Symposia on Software Science and Engineering, 1984, pp:87-113 [Conf]
   
6. Hideki Hirakawa, Rikio Onai, Koichi Furukawa
   OR-Parallel Optimizing Prolog System: POPS. Its Design and Implementation in Concurrent Prolog. [Citation Graph (0, 0)][DBLP]
   RIMS Symposia on Software Science and Engineering, 1984, pp:114-129 [Conf]
   
7. Kô Sakai, Taizo Miyachi
   Incorporating Naïve Negation into Prolog. [Citation Graph (0, 0)][DBLP]
   RIMS Symposia on Software Science and Engineering, 1984, pp:130-143 [Conf]
   
8. Hidehiko Kita, Toshiki Sakabe, Yasuyoshi Inagaki
   Algebraic Specification Method of Programming Languages. [Citation Graph (0, 0)][DBLP]
   RIMS Symposia on Software Science and Engineering, 1984, pp:144-157 [Conf]
   
9. Shojiro Muro, Tadashi Mizutani, Toshiharu Hasegawa
   Multiversion Concurrency Control Scheme for a Distributed Database System - A Trial to Break Concurrent Update of Redundant Copies. [Citation Graph (0, 0)][DBLP]
   RIMS Symposia on Software Science and Engineering, 1984, pp:158-180 [Conf]
   
10. Hisashi Sasaki, Takuya Katayama
    Global Storage Allocation in Attribute Evaluation. [Citation Graph (0, 0)][DBLP]
    RIMS Symposia on Software Science and Engineering, 1984, pp:181-211 [Conf]
    
11. Akihiko Koga
    On Program Transformation with Tupling Technique. [Citation Graph (0, 0)][DBLP]
    RIMS Symposia on Software Science and Engineering, 1984, pp:212-232 [Conf]
    
12. Hideki Sunahara, Mario Tokoro
    Evaluation of Working Set Algorithms for Data-flow Machines. [Citation Graph (0, 0)][DBLP]
    RIMS Symposia on Software Science and Engineering, 1984, pp:233-260 [Conf]
    
13. Tetsuo Ida, Akihiko Konagaya
    Comparison of Closure Reduction and Combinatory Reduction Schemes. [Citation Graph (0, 0)][DBLP]
    RIMS Symposia on Software Science and Engineering, 1984, pp:261-291 [Conf]
    
14. Kohei Noshita, Teruo Hikita
    The BC-Chain Method for Representing Combinators in Linear Space. [Citation Graph (0, 0)][DBLP]
    RIMS Symposia on Software Science and Engineering, 1984, pp:292-306 [Conf]
    
15. Kia-Fock Loe, Noritaka Ohsawa, Eiichi Goto
    Circuit Simulation Code Generation by Computer Algebra. [Citation Graph (0, 0)][DBLP]
    RIMS Symposia on Software Science and Engineering, 1984, pp:307-323 [Conf]