Expression Reduction Systems with Patterns - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Julien Forest, Delia Kesner. Expression Reduction Systems with Patterns. In Robert Nieuwenhuis, editor, Rewriting Techniques and Applications, 14th International Conference, RTA 2003, Valencia, Spain, June 9-11, 2003, Proceedings. Volume 2706 of Lecture Notes in Computer Science, pages 107-122, Springer, 2003. [doi]

This author has not been identified. Look up 'Julien Forest' in GoogleThis author has not been identified. Look up 'Delia Kesner' in Google

runs on WebDSL