The Termination and Complexity Competition.

Jürgen Giesl Albert Rubio Christian Sternagel Johannes Waldmann Akihisa Yamada

Published in: TACAS (3) (2019)

Keyphrases

computational complexity
databases
upper bound
worst case
space complexity
data mining