Concepedia

Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation.

Tadashi Kawamura, Tadashi Kanamori

Future Generation Computer Systems · 1988 · 17 citations · 0 references

Concepts