ON THE EE MINATION OF ITERATI N QUANTIFIE A FRAGMENT OF ALGORITHMIC IXDGIC
Jan Aldert Bergstra · 1982
in this paper we study the elimination of the iteration quantifier u in a special set of algorithmic formulae. Something similar has been done by G. Mirkowska and E. Orlowska by means of a system of procedures. We, however, show that elimination is already possible by using the programs in our sublanguage itself.