Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA
Banach Center Publications (1988)
- Volume: 21, Issue: 1, page 427-436
- ISSN: 0137-6934
Access Full Article
top
How to cite
topMarisa Venturini-Zilli. "Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA." Banach Center Publications 21.1 (1988): 427-436. <http://eudml.org/doc/267878>.
@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 -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.