Tytuł pozycji:
Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA
- 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
- Język:
-
angielski
- Prawa:
-
Wszystkie prawa zastrzeżone. Swoboda użytkownika ograniczona do ustawowego zakresu dozwolonego użytku
- Dostawca treści:
-
Biblioteka Nauki
-
Przejdź do źródła  Link otwiera się w nowym oknie