Weakly commuting term rewriting systems : application to automatic recursion removal

Ernesto Jorge Costa. Weakly commuting term rewriting systems : application to automatic recursion removal. In ECAI. pages 87-90, 1982.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.