On the elimination of iteration quantifiers in a fragment of algorithmic logic

Files

bergstra_82_on_elimination.pdf (962.7 KB)

Publication date

1982

Authors

Bergstra, J.A.

Document Type

Article

Metadata

Show full item record

Collections

Utrecht University Repository

URI

http://hdl.handle.net/1874/12753