BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
proc (1)
search (1)
aggreg (1)
sigmod (1)
sivakumar (1)

Stem corrigendum$ (all stems)

3 papers:

SIGMODSIGMOD-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.
POPLPOPL-1995-CastagnaP #bound #decidability #named #quantifier
Corrigendum: Decidable Bounded Quantification (GC, BCP), p. 408.
LICSLICS-1988-Wand #named #type inference
Corrigendum: Complete Type Inference for Simple Objects (MW), p. 132.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.