Fundamenta Informaticae - Tom Vol. 118, nr 1-2 (2012) - 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. 118, nr 1-2

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2012

Identyfikatory

Zawartość wolumenu

Vol. 118, nr 1-2
- artykuł: Adhesivity with Partial Maps instead of Spans (Heindel T.), s. 1-33
- artykuł: M-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence (Ehrig H., Golas U., Habel A., Lambers L., Orejas F.), s. 35-63
- artykuł: Lazy Graph Transformation (Orejas F., Lambers L.), s. 65-96
- artykuł: Transformation of Typed Composite Graphs with Inheritance and Containment Structures (Jurack S., Taentzer G.), s. 97-134
- artykuł: Hoare-Style Verification of Graph Programs (Poskitt C. M., Plump D.), s. 135-175
- artykuł: Counterpart Semantics for a Second-Order μ-Calculus (Gadducci F., Lafuente A. L., Vandin A.), s. 177-205

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