Termination of Rewriting with and Automated Synthesis of Forbidden Patterns

Bernhard Gramlich Felix Schernhammer

Published in: IWS (2010)

Keyphrases

semi automated
termination analysis
genetic algorithm
semi automatic
pattern mining
program synthesis
data mining
database systems
data mining techniques
first order logic
computer aided
conjunctive queries
pattern discovery
pattern analysis
temporal patterns
rewriting systems