Eiichi Goto , Keijiro Araki , Taiichi Yuasa (Eds.):
RIMS Symposia on Software Science and Engineering II, Proceedings of the Symposia 1983 and 1984, Kyoto, Japan.
Lecture Notes in Computer Science 220 Springer 1986, ISBN 3-540-16470-7
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Yoshihito Toyama :
On Equivalence Transformations for Term Rewriting Systems.
44-61
export record as
dblp key:
Kentaro Shimizu :
A Portable Logic Simulation System for Development of FLATS Machine.
62-86
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Akihiko Koga :
On Program Transformation with Tupling Technique.
212-232
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
