Complexity Analysis of Term-Rewriting Systems.

Christine Choppy Stéphane Kaplan Michèle Soria

Published in: Theor. Comput. Sci. (1989)

Keyphrases

complexity analysis
term rewriting systems
functional programs
logic programs
theoretical analysis
lower bound
databases
search algorithm
computational complexity
intelligent agents
first order logic
machine learning
database systems
evolutionary algorithm
object oriented