Rewriting Logic for Cyclic Sharing Structures (extended abstract) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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.

This author has not been identified. Look up 'Hiroyuki Miyoshi' in Google

runs on WebDSL