Fundamenta Informaticae - Tom Vol. 66, nr 3 (2005) - Biblioteka Nauki - Yadda

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. 66, nr 3

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2005

Identyfikatory

Zawartość wolumenu

Vol. 66, nr 3
- artykuł: Generalized Interpolation in First Order Logic (Borzyszkowski T.), s. 199--219
- artykuł: Synchronous and Asynchronous Communications in Composable Parameterized High-Level Petri Nets (Devillers R., Klaudel H.), s. 221--257
- artykuł: Tracing Relations Probabilistically (Doberkat E.-E.), s. 259--275
- artykuł: On Winning Conditions of High Borel Complexity in Pushdown Games (Finkel O.), s. 277--298
- artykuł: On Effective Methods for Diagnosis of Retaining Faults in Circuits (Moshkova A.), s. 299--313

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