automated complexity analysis, decidability, evaluation strategies, halting problem, Runtime Complexity, term rewriting, termination.
