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. 130, nr 1
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
Rocznik
2014
Identyfikatory
Zawartość wolumenu
Vol. 130, nr 1
artykuł:
Synthesis of Reo Connectors for Strategies and Controllers
(
Baier Ch.
,
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ł:
Substructural Meta-Theory of a Type-Safe Language forWeb Programming
(
Cervesato I.
,
Sans T.
), s. 67--97
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ć.