Ibarra, Oscar H.; Moran, Shlomo Probabilistic algorithms for deciding equivalence of straight-line programs. (English) Zbl 0497.68013 J. Assoc. Comput. Mach. 30, 217-228 (1983). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 28 Documents MSC: 68W99 Algorithms in computer science 68Q25 Analysis of algorithms and problem complexity Keywords:total programs; infinite field; infinite integral domain; finite field; probabilistically decidable; NP-hard × Cite Format Result Cite Review PDF Full Text: DOI