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. 130, nr 1
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2014
Identyfikatory
Zawartość wolumenu
Vol. 130, nr 1
artykuł:
Synthesis of Reo Connectors for Strategies and Controllers
(
Baier C.
,
Klein J.
,
Klüppelholz S.
), s. 1--20
artykuł:
On the π-calculus and Co-intuitionistic Logic : Notes on Logic for Concurrency and λP Systems
(
Bellin G.
,
Menti A.
), s. 21--65
artykuł:
A Survey of Decidability Results for Elementary Object Systems
(
Köhler-Bußmeier M.
), s. 99--123
artykuł:
On the Computational Interpretation of CKn for Contextual Information Processing
(
Mendler M.
,
Scheele S.
), s. 125--162
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ć.