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. 118, nr 1-2
Czasopismo
Fundamenta Informaticae
Wydawca
IOS Press
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ć.