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
Polish version English version Język
Widoczny [Schowaj] Abstrakt
Liczba wyników

Czasopismo

Banach Center Publications

1988 | 21 | 1 | 403-417

Tytuł artykułu

Safety- and liveness-properties in propositional temporal logic: characterizations and decidability

Autorzy

Wolfgang Thomas

Treść / Zawartość

Pełne teksty:
bcp_21_1_28.pdf

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

403-417

Opis fizyczny

Daty

wydano
1988

Twórcy

autor
Wolfgang Thomas
  • Lehrstuhl für Informatik II, RWTH Aachen, Bundesrepublik Deutschland

Bibliografia

Typ dokumentu

Bibliografia

Identyfikatory

Identyfikator YADDA

bwmeta1.element.zamlynska-837df50a-1b68-4b45-b81b-349c68429b2e
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ć.