Login / Signup

LSE Narrowing for Decreasing Conditional Term Rewrite Systems.

Alexander BockmayrAndreas Werner
Published in: CTRS (1994)
Keyphrases
  • term rewrite systems
  • rewrite rules
  • database
  • fuzzy model
  • design patterns