External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation

Kentaro Kikuchi, Takahito Aoto 0001, Isao Sasano. Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation. In Ekaterina Komendantskaya, editor, Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, PPDP 2019, Porto, Portugal, October 7-9, 2019. ACM, 2019. [doi]

Authors

Kentaro Kikuchi

This author has not been identified. Look up 'Kentaro Kikuchi' in Google

Takahito Aoto 0001

This author has not been identified. Look up 'Takahito Aoto 0001' in Google

Isao Sasano

This author has not been identified. Look up 'Isao Sasano' in Google
runs on