PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
1988 | 21 | 1 | 419-426
Tytuł artykułu

Propositional dynamic logic with recursive programs

Treść / Zawartość
Warianty tytułu
Języki publikacji
EN
Abstrakty
Słowa kluczowe
Rocznik
Tom
21
Numer
1
Strony
419-426
Opis fizyczny
Daty
wydano
1988
Twórcy
  • Mathematics Faculty, Sofia University, Sofia, Bulgaria
  • Mathematics Faculty, Sofia University, Sofia, Bulgaria
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.zamlynska-58eca8e6-ad1e-4092-b15b-511cdfa2f6df
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ć.