Argument Filterings and Usable Rules for Simply Typed Dependency Pairs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Takahito Aoto, Toshiyuki Yamada. Argument Filterings and Usable Rules for Simply Typed Dependency Pairs. In Silvio Ghilardi, Roberto Sebastiani, editors, Frontiers of Combining Systems, 7th International Symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009. Proceedings. Volume 5749 of Lecture Notes in Computer Science, pages 117-132, Springer, 2009. [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