Downey, Peter J.; Sethi, Ravi; Tarjan, Robert Endre Variations on the common subexpression problem. (English) Zbl 0458.68026 J. Assoc. Comput. Mach. 27, 758-771 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 58 Documents MSC: 68R99 Discrete mathematics in relation to computer science 68R10 Graph theory (including graph drawing) in computer science 68N25 Theory of operating systems 68P20 Information storage and retrieval of data 68Q60 Specification and verification (program logics, model checking, etc.) 68Q25 Analysis of algorithms and problem complexity Keywords:congruence closure; decision procedure; expression equivalence; graph algorithm; lossless join; relational database; uniform word problem PDF BibTeX XML Cite \textit{P. J. Downey} et al., J. Assoc. Comput. Mach. 27, 758--771 (1980; Zbl 0458.68026) Full Text: DOI