Login / Signup

Local confluence of conditional and generalized term rewriting systems.

Salvador Lucas
Published in: J. Log. Algebraic Methods Program. (2024)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • random field model
  • database
  • data streams
  • complex objects
  • rewrite systems