Login / Signup

Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems.

Keiichirou KusakariYasuo IsogaiMasahiko SakaiFrédéric Blanqui
Published in: IEICE Trans. Inf. Syst. (2009)
Keyphrases
  • higher order
  • pairwise
  • database
  • databases
  • expert systems
  • fine grained
  • evaluation method