Automatic Complexity Analysis.

Published in: FPCA (1989)

Keyphrases

complexity analysis
theoretical analysis
first order logic
lower bound
data structure
fully automatic
information systems
wide range
relational databases
end users
semi automatic
evolutionary search