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