String Unification is Essentially Infinitary.

Jörg H. Siekmann Michael Hoche Peter Szabó

Published in: UNIF (2008)

Keyphrases

string matching
higher order
edit distance
pattern matching
data structure
regular expressions
string similarity
equational theories
data mining
real time
search algorithm
expert systems
hamming distance
context free grammars