Rudra M. Tripathy, Amitabha Bagchi, et al.
Intelligent Data Analysis
A problem with a demonstrable Ume-space trade-off Is exhibited The problem is to compile a straight-line program for a certain unmterprted expression; time is reckoned as the number of mstrucUons m the program, space as the number of registers referred to There are programs using linear space and linear tune, but any program using less than linear space uses more than linear rune. © 1978, ACM. All rights reserved.
Rudra M. Tripathy, Amitabha Bagchi, et al.
Intelligent Data Analysis
Cristina Cornelio, Judy Goldsmith, et al.
JAIR
Tushar Deepak Chandra, Sam Toueg
Journal of the ACM
Fahiem Bacchus, Joseph Y. Halpern, et al.
IJCAI 1995