Natural Rewriting for General Term Rewriting Systems

Santiago Escobar, José Meseguer, Prasanna Thati. Natural Rewriting for General Term Rewriting Systems. In Sandro Etalle, editor, Logic Based Program Synthesis and Transformation, 14th International Symposium, LOPSTR 2004, Verona, Italy, August 26-28, 2004, Revised Selected Papers. Volume 3573 of Lecture Notes in Computer Science, pages 101-116, Springer, 2004. [doi]

Authors

Santiago Escobar

This author has not been identified. It may be one of the following persons: Look up 'Santiago Escobar' in Google

José Meseguer

This author has not been identified. It may be one of the following persons: Look up 'José Meseguer' in Google

Prasanna Thati

This author has not been identified. Look up 'Prasanna Thati' in Google