| |
| 1998 | ||
|---|---|---|
| 2 | Hiroyuki Miyoshi: Rewriting Logic for Cyclic Sharing Structures (extended abstract). Fuji International Symposium on Functional and Logic Programming 1998: 167-186 | |
| 1996 | ||
| 1 | EE | Hiroyuki Miyoshi: Modelling conditional rewriting logic in structured categories. Electr. Notes Theor. Comput. Sci. 4: (1996) |