Hiroyuki Miyoshi. Rewriting Logic for Cyclic Sharing Structures (extended abstract). In Masahiko Sato 0001, Yoshihito Toyama, editors, Third Fuji International Symposium on Functional and Logic Programming, FLOPS 1998, Kyoto, Japan, Apil 2-4, 1998. pages 167-186, World Scientific, Singapore, 1998.
No references recorded for this publication.
No citations of this publication recorded.