Download PDF - Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNAAll rights reserved. Copyright exceptions and limitations apply

ArticleOriginal scientific text

Title

Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA

Authors 1

Affiliations

  1. Instituto per le Applicazioni del Calcolo, Roma, Italia
Banach Center Publications
1988/21/1
Export to PBN, Opens in new tab
Pages:
427-436
Main language of publication
English
Published
1988
Exact and natural sciences