PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1982 | 9 | 1 | 31-46
Tytuł artykułu

A completeness theorem in the modal logic of programs

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
Słowa kluczowe
Rocznik
Tom
9
Numer
1
Strony
31-46
Opis fizyczny
Daty
wydano
1982
Twórcy
  • Abo, Finland
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.bwnjournal-article-bcpv9i1p31bwm
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ć.