Fundamenta Informaticae - Tom Vol. 134, nr 3/4 (2014) - 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. 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ł: Algebraic Characterization of the Class of Languages Recognized by Measure Only Quantum Automata (Comin C.), s. 335--353
- 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ć.