共 39 条
[1]
Alon N., 1996, Proceedings of the Twenty-Eighth Annual ACM Symposium on the Theory of Computing, P20, DOI 10.1145/237814.237823
[2]
Arasu A., 2004, ACM PODS
[3]
Bandi N., 2007, ACM SIGMOD
[4]
Bhattacharrya S., 2007, SCAL STREAM PROC SYS
[5]
Bhuvanagiri L., 2006, ACM SIAM S DISCR ALG
[6]
Blum A., 2004, IRPT0423 INT RES
[7]
BOSE P, 2003, SIROCCO
[8]
Boyer B., 1981, ICSCACMP32 U TEX
[9]
Boyer R. S., 1991, AUTOMATED REASONING, P105, DOI DOI 10.1007/978-94-011-3488-0_5
[10]
Chakrabarti A., 2007, ACM SIAM S DISCR ALG