Login / Signup

Termination of Generalized Term Rewriting Systems.

Salvador Lucas
Published in: FSCD (2024)
Keyphrases
  • term rewriting systems
  • logic programs
  • functional programs
  • databases
  • database systems
  • distributed systems