Login / Signup
Termination of LCTRSs.
Cynthia Kop
Published in:
CoRR (2016)
Keyphrases
</>
term rewriting
cooperative
database
machine learning
computer vision
term rewrite systems