Journals in DBLP

Mathematical Structures in Computer Science
1996, volume: 6, number: 6

1. Detlef Seese
   Linear Time Computable Problems and First-Order Descriptions. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:505-526 [Journal]
   
2. Hans Jürgen Schneider
   On Outward and Inward Productions in the Categorical Graph-Grammar Approach and Delta-Grammars. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:527-543 [Journal]
   
3. David Clark, Richard Kennaway
   Event Structures and Non-Orthogonal Term Graph Rewriting. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:545-578 [Journal]
   
4. Erik Barendsen, Sjaak Smetsers
   Uniqueness Typing for Functional Languages with Graph Rewriting Semantics. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:579-612 [Journal]
   
5. Reiko Heckel, Andrea Corradini, Hartmut Ehrig, Michael Löwe
   Horizontal and Vertical Structuring of Typed Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:613-648 [Journal]
   
6. Annegret Habel, Detlef Plump
   Term Graph Narrowing. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 1996, v:6, n:6, pp:649-676 [Journal]