Hammering towards QED.

Jasmin Christian Blanchette Cezary Kaliszyk Lawrence C. Paulson Josef Urban

Published in: J. Formaliz. Reason. (2016)

Keyphrases

asymptotic analysis
square root
asymptotically optimal
tree edit distance
database
data mining
genetic algorithm
social networks
database systems
search algorithm
query processing
steady state
geometric properties
fluid model