On the Termination Problem for One-Rule Semi-Thue System.

Géraud Sénizergues

Published in: RTA (1996)

Keyphrases

active rules
termination analysis
association rules
active databases
data mining
machine learning
artificial intelligence
rule discovery
databases
np hard
classification rules
rule learning
term rewriting