Login / Signup
Certified Non-Confluence with ConCon 1.5.
Thomas Sternagel
Christian Sternagel
Published in:
CoRR (2017)
Keyphrases
</>
rewrite systems
technical support
databases
machine learning
learning algorithm
information systems
update operators