Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String.

Wojciech Zielonka

Published in: Math. Log. Q. (1988)

Keyphrases

edit distance
data structure
pattern matching
computer algebra
production planning
association rules
logic programs
regular expressions
active databases
product quality
database
description logics
dynamic programming
rule sets
hamming distance
suffix tree
data mining
string matching
product design