Login / Signup

Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems.

Kentaro KikuchiTakahito Aoto
Published in: FSTTCS (2021)
Keyphrases
  • term rewriting systems
  • distributed systems
  • database
  • expert systems
  • intelligent systems
  • finite state machines
  • databases
  • computer systems