- Tytuł:
- Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA
- Autorzy:
- Venturini-Zilli, Marisa
- Powiązania:
- https://bibliotekanauki.pl/articles/719706.pdf
- Data publikacji:
- 1988
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Źródło:
-
Banach Center Publications; 1988, 21, 1; 427-436
0137-6934 - Pojawia się w:
- Banach Center Publications
- Dostawca treści:
- Biblioteka Nauki
Artykuł