PL
|
EN
Szukaj
Przeglądaj
Pomoc
O bazie
test
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Nr 1036
Czasopismo
Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk
Wydawca
Instytut Podstaw Informatyki PAN
Rocznik
2016
Identyfikatory
Zawartość wolumenu
Nr 1036
artykuł:
Towards partial order reductions for fragments of alternating-time temporal logic
(
Dembiński P.
,
Jamroga W.
,
Mazurkiewicz A.
,
Penczek W.
), s. 1--32
rozwiń roczniki
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ć.