Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             7 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence Ehrig, Hartmut
2012
118 1-2 p. 35-63
artikel
2 Adhesivity with Partial Maps instead of Spans Heindel, Tobias
2012
118 1-2 p. 1-33
artikel
3 Counterpart Semantics for a Second-Order μ-Calculus Gadducci, Fabio
2012
118 1-2 p. 177-205
artikel
4 Hoare-Style Verification of Graph Programs Poskitt, Christopher M.
2012
118 1-2 p. 135-175
artikel
5 Lazy Graph Transformation Orejas, Fernando
2012
118 1-2 p. 65-96
artikel
6 Preface Rensink, Arend
2012
118 1-2 p. v-vii
artikel
7 Transformation of Typed Composite Graphs with Inheritance and Containment Structures Jurack, Stefan
2012
118 1-2 p. 97-134
artikel
                             7 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland