An Improved Algorithm for Testing Whether a Special String Rewriting System is Confluent.

Paliath Narendran Saumya Arora Yu Zhang

Published in: UNIF (2020)

Keyphrases

edit distance
test cases
string matching
knowledge base
dynamic programming
data integration
rewrite rules