×

zbMATH — the first resource for mathematics

An elimination of iteration quantifiers in a certain class of algorithmic formulas. (English) Zbl 0386.68043

MSC:
68Q65 Abstract data types; algebraic specification
68W99 Algorithms in computer science
PDF BibTeX XML Cite