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.

Correctness of Context-Moving Transformations for Term Rewriting Systems

Koichi Sato, Kentaro Kikuchi, Takahito Aoto 0001, Yoshihito Toyama. Correctness of Context-Moving Transformations for Term Rewriting Systems. In Moreno Falaschi, editor, Logic-Based Program Synthesis and Transformation - 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers. Volume 9527 of Lecture Notes in Computer Science, pages 331-345, Springer, 2015. [doi]

Authors

Koichi Sato

This author has not been identified. Look up 'Koichi Sato' in Google

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

Yoshihito Toyama

This author has not been identified. Look up 'Yoshihito Toyama' in Google
runs on