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

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ść

Języki publikacji

EN

Rocznik

Tom

21

Numer

1

Strony

419-426

Daty

wydano
1988

Twórcy

  • Mathematics Faculty, Sofia University, Sofia, Bulgaria
  • Mathematics Faculty, Sofia University, Sofia, Bulgaria

Identyfikator YADDA

bwmeta1.element.zamlynska-58eca8e6-ad1e-4092-b15b-511cdfa2f6df