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. 134, nr 3/4
Czasopismo
Fundamenta Informaticae
Wydawca
Rocznik
2014
Identyfikatory
Zawartość wolumenu
Vol. 134, nr 3/4
artykuł:
Circular Causality in Event Structures
(
Bartoletti M.
,
Cimoli T.
,
Pinna G. M.
,
Zunino R.
), s. 219--259
artykuł:
A Secure Non-monotonic Soft Concurrent Constraint Language
(
Bistarelli S.
,
Santini F.
), s. 261--285
artykuł:
On Hierarchical Graphs : Reconciling Bigraphs, Gs-monoidal Theories and Gs-graphs
(
Bruni R.
,
Montanari U.
,
Plotkin G.
,
Terreni D.
), s. 287--317
artykuł:
Epichristoffel Words and Minimization of Moore Automata
(
Castiglione G.
,
Sciortino M.
), s. 319--333
artykuł:
An Abstract Interpretation Framework for Type and Effect Systems
(
Galletta L.
), s. 355--393
artykuł:
Categories of Coalgebraic Games with Selective Sum
(
Honsell F.
,
Lenisa M.
,
Pellarini D.
), s. 395--414
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ć.