Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA - Banach Center Publications - Tom 21, Numer 1 (1988) - DML-PL - Yadda

Pełnotekstowe zasoby PLDML oraz innych baz dziedzinowych są już dostępne w nowej Bibliotece Nauki.
Zapraszamy na https://bibliotekanauki.pl

Artykuł - szczegóły

Czasopismo

Banach Center Publications

1988 | 21 | 1 | 427-436

Tytuł artykułu

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

Autorzy

Marisa Venturini-Zilli

Treść / Zawartość

Pełne teksty:

bcp_21_1_30.pdf

Pobierz

Warianty tytułu

Języki publikacji

EN

Abstrakty

Słowa kluczowe

Wydawca

Institute of Mathematics Polish Academy of Sciences

Czasopismo

Banach Center Publications

Rocznik

1988

Tom

21

Numer

1

Strony

427-436

Opis fizyczny

Daty

wydano

1988

Twórcy

autor

Marisa Venturini-Zilli

Instituto per le Applicazioni del Calcolo, Roma, Italia

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.zamlynska-18e20c2f-10ea-48da-b9ce-67e938c1ab3d

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.