×

zbMATH — the first resource for mathematics

Variations on the common subexpression problem. (English) Zbl 0458.68026

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
PDF BibTeX XML Cite
Full Text: DOI