Some Classes of Naturally Provable Programs.

Sanat K. Basu Jayadev Misra

Published in: ICSE (1976)

Keyphrases

special case
computer programs
database
data sets
database systems
similarity measure
lower bound
np hard