Dependency Pairs for Simply Typed Term Rewriting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Takahito Aoto, Toshiyuki Yamada. Dependency Pairs for Simply Typed Term Rewriting. 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 120-134, Springer, 2005. [doi]

This author has not been identified. Look up 'Takahito Aoto' in GoogleThis author has not been identified. Look up 'Toshiyuki Yamada' in Google

runs on WebDSL