Natural Narrowing for General Term Rewriting Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Santiago Escobar, José Meseguer, Prasanna Thati. Natural Narrowing for General Term Rewriting Systems. In Jürgen Giesl, editor, Term Rewriting and Applications, 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings. Volume 3467 of Lecture Notes in Computer Science, pages 279-293, Springer, 2005. [doi]

This author has not been identified. It may be one of the following persons:

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

José Meseguer

Look up 'José Meseguer' in GoogleThis author has not been identified. Look up 'Prasanna Thati' in Google

runs on WebDSL