Last update: Thu Sep 27 02:46:46 MDT 2018
@Article{Bergstra:1982:EIQ, author = "J. A. Bergstra and J.-J. C. Meyer", title = "On the elimination of iteration quantifiers in a fragment of algorithmic logic", journal = j-THEOR-COMP-SCI, volume = "21", number = "3", pages = "269--279", month = dec, year = "1982", CODEN = "TCSCDI", ISSN = "0304-3975 (print), 1879-2294 (electronic)", ISSN-L = "0304-3975", bibdate = "Sat Nov 22 13:36:07 MST 1997", bibsource = "http://www.math.utah.edu/pub/tex/bib/tcs1980.bib", acknowledgement = ack-nhfb, classification = "C4240 (Programming and algorithm theory)", corpsource = "Dept. of Computer Sci., Univ. of Leiden, Leiden, Netherlands", fjournal = "Theoretical Computer Science", journal-URL = "http://www.sciencedirect.com/science/journal/03043975/", keywords = "algorithm theory; algorithmic formulae; algorithmic logic; iteration quantifiers", pubcountry = "Netherlands", treatment = "T Theoretical or Mathematical", }