Login / Signup

Partial Inversion of Constructor Term Rewriting Systems.

Naoki NishidaMasahiko SakaiToshiki Sakabe
Published in: RTA (2005)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • query optimization
  • image reconstruction
  • database technology