Login / Signup
Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems.
Kentaro Kikuchi
Takahito Aoto
Published in:
FSTTCS (2021)
Keyphrases
</>
term rewriting systems
distributed systems
database
expert systems
intelligent systems
finite state machines
databases
computer systems