Login / Signup

Modular Properties of Constructor-Sharing Conditional Term Rewriting Systems.

Enno Ohlebusch
Published in: CTRS (1994)
Keyphrases
  • term rewriting systems
  • information sharing
  • desirable properties
  • search space
  • general purpose
  • functional programs