Natural Inductive Theorems for Higher-Order Rewriting - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Takahito Aoto, Toshiyuki Yamada, Yuki Chiba. Natural Inductive Theorems for Higher-Order Rewriting. In Manfred Schmidt-Schauß, editor, Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, RTA 2011, May 30 - June 1, 2011, Novi Sad, Serbia. Volume 10 of LIPIcs, pages 107-121, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2011. [doi]

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

runs on WebDSL