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.

Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems

Karl Gmeiner, Naoki Nishida 0001. Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems. In Manfred Schmidt-Schauß, Masahiko Sakai, David Sabel, Yuki Chiba, editors, First International Workshop on Rewriting Techniques for Program Transformations and Evaluation, WPTE 2014, July 13, 2014, Vienna, Austria. Volume 40 of OASICS, pages 3-14, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2014. [doi]

Authors

Karl Gmeiner

This author has not been identified. Look up 'Karl Gmeiner' in Google

Naoki Nishida 0001

This author has not been identified. Look up 'Naoki Nishida 0001' in Google
runs on