Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional Term Rewrite Systems.

Christian Sternagel Thomas Sternagel

Published in: CADE (2017)

Keyphrases

term rewrite systems
rewrite rules
databases
search engine
web services
object oriented
data driven
camera calibration