Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Masahiko Sakai, Michio Oyamaguchi, Mizuhito Ogawa. Non-E-Overlapping, Weakly Shallow, and Non-Collapsing TRSs are Confluent. In Amy P. Felty, Aart Middeldorp, editors, Automated Deduction - CADE-25 - 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings. Volume 9195 of Lecture Notes in Computer Science, pages 111-126, Springer, 2015. [doi]

This author has not been identified. Look up 'Masahiko Sakai' in GoogleThis author has not been identified. Look up 'Michio Oyamaguchi' in GoogleThis author has not been identified. Look up 'Mizuhito Ogawa' in Google

runs on WebDSL