PROBABILISTIC ALGORITHMS FOR DECIDING EQUIVALENCE OF STRAIGHT-LINE PROGRAMS

被引：66

作者：

IBARRA, OH

MORAN, S

机构：

来源：

关键词：

D O I：

10.1145/322358.322373

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：217 / 228

页数：12

共 19 条

[1]

Adleman L., 1978, 19th Annual Symposium on Foundations of Computer Science, P75, DOI 10.1109/SFCS.1978.37

[2]

ADLEMAN LM, 1977, 9TH P ACN S THEOR CO, P151

[3]

[Anonymous], 1971, STOC 71, DOI DOI 10.1145/800157.805047

[4]

BERLEKAMP ER, 1968, ALGEBRAIC CODING THE

BLUM, M ;

CHANDRA, AK ;

WEGMAN, MN .

[6]

Garey Michael R., 1979, COMPUTERS INTRACTABI

[7]

Hardy G.H., 1960, THEORY NUMBERS, V4th ed.

[8]

Hopcroft J.E., 1979, INTRO AUTOMATA THEOR

[9]

HYAFIL L, 1978, 10TH P ANN ACM S THE, P193

[10]

IBARRA O, 1979, UNPUB J ACM