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
Vol. 66, nr 3
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
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ć.