Login / Signup

A New Approach to General E-Unification Based on Conditional Rewriting Systems.

Bertrand Delsart
Published in: CTRS (1992)
Keyphrases
  • rewriting systems
  • pattern matching
  • semi structured