Fundamenta Informaticae - Tom Vol. 62, nr 1 (2004) - Biblioteka Nauki - Yadda

Ten serwis zostanie wyłączony 2025-02-11.

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

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