On Problems Dual to Unification: The String-Rewriting Case.

Zümrüt Akçam Daniel S. Hono II Paliath Narendran Andrew Pulver

Published in: CoRR (2021)

Keyphrases

optimization problems
real time
data structure
theorem proving
solving problems
database
machine learning
pattern matching
problems involving