Stem corrigendum$ (all stems)

3 papers:

SIGMOD-2008-AndoniFKPS #classification #performance #rank #similarity

Corrigendum to “efficient similarity search and classification via rank aggregation” by Ronald Fagin, Ravi Kumar and D. Sivakumar (proc. SIGMOD’03) (AA, RF, RK, MP, DS), pp. 1375–1376.

POPL-1995-CastagnaP #bound #decidability #named #quantifier

Corrigendum: Decidable Bounded Quantification (GC, BCP), p. 408.

LICS-1988-Wand #named #type inference

Corrigendum: Complete Type Inference for Simple Objects (MW), p. 132.