On the elimination of iteration quantifiers in a fragment of algorithmic logic
DSpace/Manakin Repository
On the elimination of iteration quantifiers in a fragment of algorithmic logic
Bergstra, J.A.
(1982) Theoretical Computer Science : the journal of the EATCS, volume 21, pp. 269 - 279
(Article)
Download/Full Text
Open Access version via Utrecht University Repository
ISSN: 0304-3975
Publisher: North-Holland Publishing Company
See
more statistics
about this item