Fundamenta Informaticae - Tom Vol. 153, nr 1/2 (2017) - 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. 153, nr 1/2

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2017

Identyfikatory

Uwagi

Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu

Zawartość wolumenu

Vol. 153, nr 1/2
- artykuł: Modelling and Analysing Qualitative Biological Models using Rewriting Logic (Alhumaidan A., Steggles J.), s. 1--28
- artykuł: Contradiction-Tolerant Process Algebra with Propositional Signals (Bergstra J. A., Middelburg C. A.), s. 29--55
- artykuł: Semantics for Specialising Attack Trees based on Linear Logic (Horne R., Mauw S., Tiu A.), s. 57--86
- artykuł: P Systems Simulating Bacterial Conjugation : Universality and Properties (Păun A., Rodríguez-Patón A.), s. 87--103
- artykuł: Binary Analysis based on Symbolic Execution and Reversible x86 Instructions (Stoenescu T., Stefanescu A., Predut S., Ipate F.), s. 105--124
- artykuł: Concurrency Semantics in Continuation-Passing Style (Todoran E. N., Papaspyrou N.), s. 125--146
- artykuł: Computational Efficiency of Minimal Cooperation and Distribution in Polarizationless P Systems with Active Membranes (Valencia-Cabrera L., Orellana-Martín D., Martínez-del-Amor M. A., Riscos-Núñez A., Pérez-Jiménez M. J.), s. 147--172

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ć.