Login / Signup

Completion for Constrained Term Rewriting Systems.

Charles Hoot
Published in: CTRS (1992)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • machine learning
  • data warehouse