Login / Signup

Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems.

Karl GmeinerNaoki Nishida
Published in: WPTE@RTA/TLCA (2014)
Keyphrases
  • preserving transformations
  • term rewrite systems
  • image sequences
  • x ray