Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA
Tom 21 / 1988
Banach Center Publications 21 (1988), 427-436
DOI: 10.4064/-21-1-427-436
