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

@article{MarisaVenturini1988,
author = {Marisa Venturini-Zilli},
journal = {Banach Center Publications},
keywords = {algorithmic logic; fair-wellfoundedness of while-programs; nondeterministic assignments},
language = {eng},
number = {1},
pages = {427-436},
title = {Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA},
url = {http://eudml.org/doc/267878},
volume = {21},
year = {1988},
}

TY - JOUR
AU - Marisa Venturini-Zilli
TI - Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA
JO - Banach Center Publications
PY - 1988
VL - 21
IS - 1
SP - 427
EP - 436
LA - eng
KW - algorithmic logic; fair-wellfoundedness of while-programs; nondeterministic assignments
UR - http://eudml.org/doc/267878
ER -