Ibarra, Oscar H.; Leininger, Brian S.; Rosier, Louis E. A note on the complexity of program evaluation. (English) Zbl 0535.68020 Math. Syst. Theory 17, 85-96 (1984). Reviewer: J.Tankó MSC: 68Q25 68N99 PDFBibTeX XMLCite \textit{O. H. Ibarra} et al., Math. Syst. Theory 17, 85--96 (1984; Zbl 0535.68020) Full Text: DOI
Ibarra, Oscar H.; Leininger, Brian S. On the zero-inequivalence problem for loop programs. (English) Zbl 0498.68030 J. Comput. Syst. Sci. 26, 47-64 (1983). MSC: 68Q25 68N99 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{B. S. Leininger}, J. Comput. Syst. Sci. 26, 47--64 (1983; Zbl 0498.68030) Full Text: DOI