PL
|
EN
Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na
https://bibliotekanauki.pl
Szukaj
Przeglądaj
Pomoc
O nas
Preferencje
Polski
English
Język
Widoczny
[Schowaj]
Abstrakt
10
20
50
100
Liczba wyników
Tom - szczegóły
Adres strony
Kopiuj
Tytuł artykułu
Vol. 62, nr 1
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2004
Identyfikatory
Zawartość wolumenu
Vol. 62, nr 1
artykuł:
Logics for Real Time: Decidability and Complexity
(
Hirshfeld Y.
,
Rabinovich A.
), s. 1--28
artykuł:
A Logic Framework for Verification of Timed Algorithms
(
Slissenko A.
), s. 29--67
artykuł:
Understanding Basic Automata Theory in the Continuous Time Setting
(
Trakhtenbrot B. A.
), s. 69--121
artykuł:
Synchronous Circuits over Continuous Time: Feedback Reliability and Completeness
(
Pardo D.
,
Rabinovich A.
,
Trakhtenbrot B. A.
), s. 123--137
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ć.