Login / Signup

Combinations of Simplifying Conditional Term Rewriting Systems.

Enno Ohlebusch
Published in: CTRS (1992)
Keyphrases
  • term rewriting systems
  • functional programs
  • logic programs
  • random field model
  • artificial intelligence
  • relational databases