Information and Systems-Software Science(Date:1994/07/07)

Presentation
表紙

,  

[Date]1994/7/7
[Paper #]
目次

,  

[Date]1994/7/7
[Paper #]
A Rewriting Model for Reflectiv Computation

Takuo Watanabe,  

[Date]1994/7/7
[Paper #]SS94-12
A Concurrent Rewriting Based Execution Method for Object-Oriented Concurrent Languages

Tarou Sugahara,  Takuo Watanabe,  Kokichi Futatsugi,  

[Date]1994/7/7
[Paper #]SS94-13
On Confluence of Term Set Rewriting System

Hideto Kasuya,  Masahiko Sakai,  Shinichirou Yamamoto,  Kiyoshi Agusa,  

[Date]1994/7/7
[Paper #]SS94-14
Tool Platform System for Software Structure Analysis

Hiroaki Ariga,  Shinichirou Yamamoto,  Kiyoshi Agusa,  

[Date]1994/7/7
[Paper #]SS94-15
An Typed Logic Language Based on The Theory of Declarative Programming

Yuuichi Kawaguchi,  Kiyoshi Akama,  Eiichi Miyamoto,  

[Date]1994/7/7
[Paper #]SS94-16
Analysis of proof term transformation in reasoning by analogy

Ken-etsu Fujita,  

[Date]1994/7/7
[Paper #]SS94-17
[OTHERS]

,  

[Date]1994/7/7
[Paper #]