Login / Signup

On Composable Properties of Term Rewriting Systems.

Takahito AotoYoshihito Toyama
Published in: ALP/HOA (1997)
Keyphrases
  • term rewriting systems
  • desirable properties
  • knowledge base
  • data model
  • logic programs
  • functional programs